I don't think they use the standard video player though. It may have changed recently, but I noticed that the controls were jaggy on the Retina iPad. They might be doing some weird encoding of the video to prevent piracy and thus use a custom player designed to look the same.

Well, I think it's a config switch, so it takes very little effort to add it or remove it.

Which is something Apple shouldn't have done - with all the crap they make devs go through, fully working airplay should be a required feature with all the video players.