Obviously new here. Just starting the pool, excavation and forming is complete. Have looked at several surfaces and the pool designer/builder is recommending a Stone Scrape Finish- The builder is touting this as superior finish requiring less maintenace (brushing) and it does look good when viewed at other customer sites. The question, $5200 seems a little high to me? Thoughts?