You might want to check out the mini-displayport -> hdmi adapter from monoprice[1]. $8.55, and I've been using one without any problems for over a year.

(disclaimer: not at all affiliated with monoprice.)

[1] http://www.monoprice.com/products/product.asp?c_id=104&c...