Slightly offtopic: Has anyone had any problems playing the mp4 files downloaded with get_iplayer? I assume they're h264? I keep getting the Unable to play media, bad codec message. Thought I had all available codecs installed? And the media player can see + get length of these files... very strange.