2 ps3's 1 htpc, 2 hdhomerun boxes, 3 xbox360's. 1 Media server 
Nice.

It's not about hooking up a hdmi cable. It's the fact that I only setup my home theater once period. I don't have to touch it again. so by your own logic hooking up a laptop is more work.
You don't have to touch the cables, but you do have to setup the video stream each time. As I said before, probably looking at similar setup time (about 30 seconds I reckon).
Anyway, horses for courses and all that jazz, do whatever works for you. Sounds like you've got a nice home media setup, what software does the HTPC run? Also, what's the media server? I've been putting together plans for some HTPC goodness, so it'd be good to share notes.

EDIT: Just to say, my current plans are along the lines of Intel ION-based PC running the Ion build of OpenElec
http://openelec.tv/ , once they've made their XBMC Eden-based release. I've also been thinking about how I can use some Raspberry Pi as media centre devices, giving them away as presents to friends. Possibly using them as network-connected radio/music streamers.