both quicktime & real player are proper formats...
if you want music videos
Just Jared is a good site for them...so is
Yahoo Video.
I would suggest getting the Quicktime Pro so you can download anything you want..it's only like $30 & might be less for students....