Yeah, did hope it may be as easy as that, but this one’s the annoying combo of ridiculously soft patches that come out with screwdriver, but mainly rock solid so will need the grinder. Don’t want to risk just patching the odd bit, as I’m going to build a polycarbonate roofed shed/bike shelter...