I got around to cutting them down and the angle grinder was the only real choice. I actually stopped by an old colleague to borrow their shop saw but it was a carbide saw which was absolutely thrashed. So angle grinder it was, and it honestly didn’t take as long as I feared.
I also tried machining them, and it was tough but doable. After dusting off ye olde Reicherter it came out at 38 HRC, so around 1200MPa tensile. I’ll definitely make a new boring bar out of this, with the bore I can even run flood coolant to the tip.