Thanks PoolDoc for your reply. After days of searching the internet, I've come to the conclusion that plaster is the way to go. Workers are chipping away the old paint, sanding, and after a good cleaning they'll be applying plaster. It's well worth spending the few extra dollars today than to go through the headache again in a couple of years.

Much appreciated.

Taylor