Chuck,
Methinks you should find a friend with a small machine shop or metal lathe. Looks like about a 10 minute job to me.
Many years ago when my father was still working, he befriended all the guys in the metal shop (foreman was German!) at the laboratory where he worked, and always did them favors when asked. In return, whipping out something like this was done for my father with thanks and a smile. I once had to do a clutch job on a Datsun 510 in 1977. I needed a clutch alignment tool, which at that time was not available to the general public. The local Datsun dealer let me look at it, though. I brought my calipers and graph paper, and sketched it up. The dealer also showed me a few other trick tools they needed. I drew them too.
The German machinists whipped up these custom tools for my dad, and the clutch job went swimmingly, except for the fact is was about 25 degree in our garage.
Oh, how I miss those days...
At least you got the right part, it was available, and now all is well except for the weight loss in your wallet.