So, we have a Sundek/Kool Deck product on our pool patio. I normally just clean with a pressure washer, but may need to get a bit more cleaning done. What all has everyone used? Anything safe if a little where to get into the pool water? I can probably just spot treat and keep most of it away from the pool, but can be tricky to keep all of the water from dripping into the pool.