Tools break. It happens to each and every one of us. But this is really important - IF A SHOP TOOL BREAKS, REPORT IT. No excuses.
It does not matter if you were the person who broke it or not. If anything isn’t working correctly, the stewards need to know. The sooner the better.
Use any of the red QR codes. Or post here to Discourse.