something that pricey i would buy new. You could even buy from the manufacturer you like outlet site. Back when i bought my Inspiron 6000 it was 1400 i paid 700 and got a 3 yr warranty. cause it was refurbished...but i didn't care look brand new and had warranty as brand new....Same thing with my Inspiron 4125. was going for 1600 paid 900. so shop the outlets they have deals waiting.
some links
Dell
Code
http://www.dell.com/outlet
HP
Code
http://www.hp.com/sbso/buspurchase_refurbished.html