Hi Z, No didn't find those and without specific knowledge of those machines it's difficult to assess the bolt size, they look right.
Guys, The unions I found do fit, see photos below. But, the oil holes are different, smaller, see 1.5mm drill in new bolt, so I would
drill the banjo and the bolt out to full 2.5mm as original parts. Also if you use them,
fit an extra washer (3 in total) or take 1mm off the end of the new bolt. I did a test with the original fittings, there was only about half a millimetre clearance on the bolt before it hits the pump body at the bottom of the tapped hole. The new bolt will pinch up by hand but has no clearance to allow tightening , so shorten it slightly. Be careful with the pump, its a soft zinc based alloy that's easily damaged or stripped. Don't overtighten the unions.
I will do a blow through test of new and old fittings to see if there's much difference in flow resistance (best scientific test I can do)
They're very reasonably priced at 2 for £10.63 delivered in the UK, they will post to US, don't know cost. Happy to get some and post to US if required and you distribute. Bet they put the price up if there's sudden high demand
PS, Why can't I post more than 3 photos, they're only VGA quality.
Brian the Brit.