If that's what they want to do, they could still have the IE9 installer install the codec system-wide, but it doesn't sound like that's what they intend to do.