I found some coleman lanterns on craigslist used. They are not working and I am working on repairing them. They have a little bit of rush on them in a few places. What I'm wondering is what I should use to repaint them. Does it have to be high heat paint or will regular spray paint work?