Hello from a Florida newbie! I'm getting ready to renovate a recently purchased beach home. The existing pool/patio area is about 25 years old and has brick pavers on it. I'm getting the pool checked out, but know that I will want to replace the pavers, as the Florida sun makes these particular ones too hot to stand on. Would anyone have a recommendation as to: Sealing the existing ones; replacing or using a stone product and if stone - which one? Thanks