If you've got a local machinist that might be the best bet. Cutting a new nut would be a quick job for someone capable.

Last edited by Thorens; 12/14/2023 4:35 AM.