is good idea to paint the pool deck?