So I'm looking at cleaning the ceiling in a bar and grill later this month. It's one of those stamped tin ceilings that's been painted, lots of texture so that should be a fun pain in my neck... I'm looking for some advice on a good product to use for this though. Need a good degreaser that, while I know might damage the paint, won't just strip it off. I was told once that there are some products for fire and smoke damage that might be good for this. Not experienced with those sorts of things though. And recommendations would be great!