What is the most effective method for removing plaster off of gunite in preparation for a re-plaster? is sand-blasting, acid edging, or hammer-jacking it off equally effective? Has anyone had there pool re-plastered. If so, prior to application of new plaster how was the old plaster addressed.?