Here’s a link to a lid repair a guy did on a WSM. Might give you some inspiration.
How to repair a dent in the porcelain finish of a Weber Smokey Mountain Cooker. Supplies needed include JB Weld epoxy putty, sand papers, and spray paint.
www.virtualweberbullet.com
There are a lot of Weber fans who view these dings as battle scars, as part of a grill’s life story. This one’s not on the front of the lid and it doesn’t affect performance. If you’re flipping this grill, I’d put a band-aid over it as a joke but stress to the buyer the actual or potential rarity of these grills, especially red!