Just wait until the HDMI board is out (soon) and then get a Game recorder on ebay for $50-100. record to SD card in 720P (output from controller is only 720P) via HDMI, and/or pass-thru to tv. Fits in a pocket, expensive ones have battery cheaper use usb @ 1amp, you can use a portable powerbank for 5 hours recording.
If you got money to spare there is a tiny one with 5 hr battery, plug it is and slip in pocket, but its $295