Run the HDMI cable. The cost to set up wireless HDMI will be more expensive and not necessarily guaranteed to work. The tech works at 60 GHz and there's very few vendors out there w/ working boxes. Too new.

Man, that is one reflective 'box'. But I'm VERY jealous of that garage/man cave. And those 2 pinball machines don't hurt.