I live in Holland, right next to Germany, and believe me , guys, I have never ever seen any m5 offered at 4k US in Holland or Germany, and I have looked. Except for a heavily damaged one that was ready for the shredder, and turned out to be a converted 535i. The cheapest examples worth considering are '89's for around 7k US, and they will not be pristine.