i have just been offered a Mini (with MIDI) which has been fully serviced in Europe by Rudi Linhard (who has apparently said this was one of the best models to ever pass thru his workshop).
With postage etc it will cost about £4k i would think. Its a LOT of money !!