Another possability is to have the pool company pay to have some one come and diamond pad sand the plaster. That is if the plaster pits are not to deep. Hire some one that knows what they are doing on the plaster sanding. You could end up with a very smooth pool finish.