Hi Ben,
first of all, I love your show, you're doing some great work!
Have you ever considered tackling DIY wireless hdmi, something like Airtame (http://airtame.com)?
What are the pitfalls for such project? I wonder if it could be done for example using ArduinoYUN?