Has anyone converted a pool deck or terrace to an outdoor play area?