See DV.com article #78158 or search "They Like To Rock the Party: Shooting HD on Flight of the Conchords" on the site. (Sorry, the site has hotlink protection, can't post direct link)

I would have preferred if they went through the RED ONE path or use a PDW-700 with 24p. I find using a Panasonic 720p cam recording to 1080 a bit odd.