Ah, this just in thanks to Mary Branscombe @marypcbuk - "IE9 video codecs mpeg4/h.264 audio mp3/aac " so suspicions confirmed.