I have a new pool and not sure what type of finish it is. It is much harder than the plaster pool I had before. Is this just sealed concrete? The bottom appears to be pebbleTec. Anyway, I’m draining the pool for pump replacement purposes and wondering if I should acid wash or pressure wash this...