Has anyone in neighborhood had pool resurfaced? If so, are you satisfied and who did the work?