Tutorial_Arrival.wmv .. it has pretty nasty compression artifacts. And as it is at start of game, I would suggest improving it.
Otherwise.. using MPEG4 (or x264 codec), would be much better, along with OGG for sound.
I don´t think that if you now "can" have big files, that you must necessary create big files.. (I have DVD space in mind).