for the sake of nothing more than interest, what is your top budget, the absolute maximum you can spend, to buy, pay import duty, pay vrt, pay for 3 months tax (200euro) pay for an nct test.
I think your going to be dissapointed if you don't have 12-14k euro cash to spend if you reckon a 9k...