Is there any less time-consuming way of removing thick deposits of cement from bricks other than via a hammer and chisel? I don't want to 'clean' them as such (with acids etc), just remove the major deposits of cement from the bricks. Any ideas appreciated.