Hey Josh, do you still use it? I have your exact same model, same specs, T9400, ATI HD, etc...
Un fortunately it heats up a lot, with windows, but Unix, works lika a charm.
I used to plug in an external DiYVidock through the express card, BIOS whitelisted, and playing on ext monitor
in FUll HD...