I am flipping a home in Phoenix, the pool was left 1/3 full for many months. I drained and *gently* pressure washed the plaster, to see if it was dirt or black algae. The plaster is deeply stained. Will an acid wash clear it up or do I need to re-plaster? Thanks so much for any advice.