Ok so the tiles are falling off and the bluestone (straight) needs to be reset. We have owned the property 6 years. The pool was installed in 2005. Estimate is around 11k. I originally thought I would replace the coping with a bullnose version, but with the re-install being expensive not sure...