Yep, it's expensive alright.
About $300-$800 more than an extremely similar D800, but you get 7200rpm HD and 128MB of video ram. Too rich for my blood.
I'm still looking forward to a T40.
It all comes down to how you prioritize game performance, build qaulity, and batter life.