Well the £30 socket turned up and it’s a good quality German brand. Unfortunately the nut is so tight it bent the 700 NM torque wrench I’d borrowed from work (a bit of bending back soon fixed that issue). Next up I’ll borrow the 2000Nm wrench and hope that one doesn’t bend!