Agree with that. You better off getting one on ebay or someone coming down from abroad.
Got my my HP DV4 about year ago for 75K from Australia. its 2nd Gen i5, 4GB Ram, 600HDD, 1GB ATI Radean & Intel generic graphic inter changable, with Win 7.
Got down Asus X series two weeks back. Just 69K. 3rd Gen i3, 4GB ram, 500HDD, Came with Win 8.
I have taken risk of "no local warrenty". I use DV4 for online gaming, no heating issues, bettery still lasts more than 6hrs with intel graphics.