Right now I have both on my Pbook and I want to get rid of one of them. Now I am wondering of which to get rid of. Are there any big differences or do they handle the same file formats? I am leaning towards VLC because it distorts the video more while jumping in the timeline and because mplayer automatically quits after closing the window. Any other reasons why I might consider leaving either one behind or even keeping both?