I really enjoyed your firm discussion on the shooting format of the Panasonic TM700-HS700 line. Could it be that you both are right?. The Panasonics do record in 60p (and here in Holland in 50p). Could it be that the camera recodes the signal to 50i before outputting through the HDMI port?
After transferring the files to my Mac, I do see 50 different frames in a second.