Poll: If Android is an option then the Lg Optimus 2x has hdmi out using a micro hdmi port. I've got one myself and have used it with a generic micro hdmi to hdmi cable so can confirm it works and can answer any questions you have on it.
As far as this sms sync you talk of; three of the first four results on google search are for an android app called SMSSync, it's an sms gateway program, does that sound right? The only Ms one seems to be a text message backup program, there are plenty of those on android for backing up to various different destinations (gmail account, sd card, haven't really looked more than that as they cover my needs.)
Internet is my backyard...
Please read the Geekzone's FUG