I picked up this beauty from a gentleman for $100. It's a 2002 model I believe ("DU"). Everything is great except for a dent in the lid the size of a quarter which has a pencil-tip sized hole. Will this dent/hole affect cooking? Is there a way to repair/replace the lid itself while maintaining the original color? Here are some pictures. Thanks.

