Hi,
I just bought a second hand unit in the US for $2150 (+ $850 USD for shipping and import tax). cough, cough !
Well it is still better than 7000 € I suppose and I might be able to fix the old unit by copying the firmware from the new one on the HDD.
Anyway, thanks guys for all the help ...