$6-7K gets you plenty.. in fact almost any machine you want.

For a first pin(s) and with that budget id be looking to get 2 good DMD's or NIB ACDC.. possible WOZ.
Its a very healthy budget.. Pinsanity had some great titles that were eye candy plus.. youd also have change for a beer and possibly a good EM game