What kind of products are available to restore a 15 year old concrete pool deck that was once cool? We are in central Florida and the deck gets really HOT under bare feet. Some of the pool companies talk of a "paint-like" product that can be rolled on, but won't say what it is. They are estimating $1,500-$2,000 to do this job. Is there an elastameric-type product that we can roll on ourselves and save some money? Please help. I can't afford them, and our footsies are getting scorched. Thanks!!