Ketchup is acidic. Put an old penny in some ketchup, wait about 15 minutes, then remove the penny, wipe it down and rinse it off. it will be a lot brighter.
I would try using a paint cleaner, such as Sonus Paintwork Cleanser, Meguiars Deep Crystal Paint cleaner or Mother's California Gold...