Here's the link for the one for sale I saw
Marktplaats.nl - OM615 t/m OM617 - Accessoires en Onderhoud
The advertiser says he's only got one left. I'll contact him and ask for the manufacturer and part number.
The shipping will be at least the same amount. This isn't a cheap from Europe to the US option unless I / we can work out who makes these things.