Discussing it with a mate last night, he gets a lot of stuff laser cut and we decided it would be easier to get 2 pieces cut, one piece 3mm thick with a hole to suit the boss and the 12 mm piece with a hole bigger than the socket that fits the crank nut and then weld these together on the outside and that way you don't have to do any turning to get the nut to fit. Just have to see how much they will cost and how many I/we are going to need. The more you get cut the cheaper they get, but how many of these PT machines are out there and is it all worth the effort. At least we now know the fix if anybody comes here having problems with one.