I use Turtle Wax 2001 Protectant on my Jeep, not Armor All. This discussion comes up from time to time on JeepForum.com and a lot there recommend the 303. I've never had a problem with the 2001 Protectant, but with the hot tub, I don't want to do anything to ruin the cover. So, I'm assuming DON'T use any of the "typical" UV prohibitor products found at wal-mart, ect.? We do have several marine stores around here as we are situated on Lake Michigan, so I'll give them a try. I think you can also get 303 for Sporty's Pilot Shop.