I would imagine they didn’t use 4-1/4 inch grinder. That would be overkill. Probably something like a Dremel Tool with a carbide disk cutter.
“a carbide disk cutter.”
One typo away from being the post of the day.