Hey all. Just wanted to show what we did with our DMD extender from Dr. Pinball.
We combined the DMD extender (which is the extender + a raspberry pi you provide) with an IOGEAR Wireless HDMI Transmitter and Receiver Kit (GWHD11). You can add additional transmitters so you can input multiple signals from other sources. You do need to add an HDMI extension to account for the transmitter's girth but everything is totally plug and play utilizing the machines service port for power and the provided wiring.
Here are the links to everything:
DMD Extender
http://www.drpinball.co.uk/dmdextender.htm
Wireless HDMI Transmitter and Receiver Kit
http://www.amazon.com/IOGEAR-Wireless-Transmitter-Receiver-GWHD11/dp/B00NB2ZRH0
HDMI extension
http://www.amazon.com/Hdmi-Port-Saver-Cable-Inch/dp/B000Q6WEFW
Raspberry Pi
http://www.amazon.com/Raspberry-Pi-756-8308-Motherboard-RASPBRRYPCBA512/dp/B009SQQF9C
Bill
Fargo Pinball
www.fargopinball.com
Like us on Facebook: www.facebook.com/fargopinball