We were getting 60 frames/second from the HDMI output, but the frames were in identical pairs, so really 30fps. Turns out, the camera must be set to AVCHD rather than MP4 encoding, even if recording to SD card is not in use (only HDMI output, which is not encoded).
Just posting so others can search.