I think 4k-ish would be OK if it is immaculate, has FSH and is totally original........
I am always a bit sceptical of the grey imports, a friend of mine bought a Pajero (Shogun) - allegedly had FSH, 1 owner, circa 45k miles on a 10 year old car - to look at it was fine however it turned out to be a horror story once in ownership. There was no way it was a low mileage car, turned out the reason that it looked so clean was down to the fact it had been resprayed (and a very good job)........I always think its a bit of a leap of faith buying from the Far East - that said if this one was up for 3.5k and I had some spare cash I would probably go for it!