I see them at a little less than 400€ in the second hand market. So expensive for their age but not hard to replace if you were willing to pay 600-700 for it in 2020.