Sure, you can record from the HDMI out, but what you get from there is far from a clean standard signal.
Don't waist your time.
people has been trying to get something worth to record from there since the release of the 5D MII to no avail.
Some people claims that things are different with the NIKON, but I haven't seen proves of that.
rafael
http://www.nagavideo.com