Just got the car back from the workshop. New parts were so expensive that they've been hunting round for a good second hand. Apparently they got one a couple of weeks back, but when they tested it, they weren't happy, so they had to get another. It still cost me (for the parts and labour) €460 ($624)