I recently posted that I will be getting a new bowl from Weber. Once I replace the bowl I will be giving the old bowl to another family member who's kettle is in far worse shape. What is the best way to repair the damage to the porcelain? The chip is very small but over time I suspect it will rust.