Students at our college have a profile with the default DVD player set to
InterVideo. Instructors would like Windows Media Player to be the default.
Since we can't change the students' profiles what local computer registry
entry do I need to change to make this the default for everyone.

Thanks.