Well... in the end I found a NOS top yoke with the right part number in the Netherlands. For less than the price of a used on from the usa.
Its surprising what turns up sometimes. So, if its not on fleabay it might be sitting on a website somewhere else.
Did that Dutchman have any cheap 400 parts too by any chance?