As far as I know, the price for the part in the US should be around $ 71 retail.

They really should be able to order the part. Otherwise, and of the site-owner doesn't object, I would be happy to get it for you.

Kind regards
Eberhard