I’ve probably got one that’s the right size. Bought a bag of mixed belts from eBay last year. I’m grateful the belts are still intact. Have a fighting chance of working out their size and the route they take. Big fan of repairing stuff.