Gary is using the Kopteworkx Mini HDMI converter I believe. http://www.kopterworx.com/Osd-/-fpv-/-hdmi/HDMI-to-AV-converter-mini?keyword=mini+hdmi+converter The web site appears to have been hacked and littered with Viagra and Cialis links....so watch out.... Andy.
There are lots of cheaper alternatives. The KW doesn't require additional power, powers off of the HDMI connection, at least for all of the cameras that I have. Downside is that I can't get it to connect to pure 1080p input. Still waiting for an answer from them.