I watched it being done in Forster Street a few years ago and I would never have thought of using a disc cutter. I'd have used a chisel and weeks of my time.I’m guessing it’s just using a pointing gun .Grinding out bit is a bit shite like eye .
It looks like a fiddly job but doable