So, since this is the first major problem in 10 years from new, I ended up with a new unit.
They are ridiculously expensive, though. A unit from a web shop in Japan is 130 USD, which would be app. 210 USD when arriving here. The local Mitsubishi dealer charged the equivalent of 320 USD, and the...