Roy, can't remember price... but there are HDX18t on Ebay today with the same T9600 chip for $1100, or <$800 if you're OK with a 2.6ghz dual core. FWIW that's less than the current DV6 that has a 15.4" screen with lower resolution. The chips in the HDX are superseded by the I5 but 2.8 dual core T9600 still is quicker than most I5.
"... They ne'er cared for us
yet: suffer us to famish, and their store-houses
crammed with grain; make edicts for usury, to
support usurers; repeal daily any wholesome act
established against the rich, and provide more
piercing statutes daily, to chain up and restrain
the poor. If the wars eat us not up, they will; and
there's all the love they bear us."
-- Shakespeare: Coriolanus, Act 1, scene 1