"Christian McArdle" wrote in message

I used a belt sander. Smoothed off the old cement ridges in about 10
minutes. A bit dusty, mind.

I'm getting there, I guess I was looking for a no-effort solution, but I've
ended up steaming off the worst of the mortar, then finishing with an
electric sander... That makes lighter work or if than the hand scraper.

Thanks.

Andy