Dean did not say what codec, but I'll bet you it's not OGG. Let's see if there's Q&A or if he brings it up.