Looking for notebook with HDMI, 13-14", 4-5lbs.

[Lifted]

Somebody here in the office wants a new notebook with HDMI. Problem is HDMI is not on many business lines of notebooks, and those that do have HDMI make sacrifices in other areas.

What I'm looking for:

Core i5
HDMI output
13" - 14"
1440x900 or higher
internal WWAN card
no more than 5.5lbs
battery life 4+ hours (not advertised, but actual battery life doing basic business tasks).

* docking station would be nice

User is coming off a T400s, but not many Thinkpads or Latitudes come with HDMI, and those that do don't meet the above requirements. The T410s would be ideal, but no HDMI. I checked the HP Envy but it currently only has 1366x768 res options available. Other than that it probably would have been fine. I think the Vaio Z would meet the above reqs, but it's also the most expensive laptop I've seen.

Any ideas for something that meets the above requirements but comes in at less than $2000?

 

[Winterpool]

Jah, the resolution is going to be the obstacle here.

MacBook Pro 15" meets the criteria more or less (with video adapter), though it's of course 15 inches.

There aren't any ThinkPads in this size with higher resolution?

Oh wait--what's a WWAN card? Does that mean mobile telephony (eg '3G') wireless? WiMAX?

 

[Lifted]

The MacBook Pro would work if it had built-in wireless broadband access as an option.

This seems to be mission impossible so I'm getting a T410s.

 

[CurseTheSky]

If you could find an Envy 14 with the 1600x900 screen, that would fit the bill (except the docking station). That particular screen is discontinued, but the refurbs are well worth it if you can find one.