I replaced VLC with a 22MB video player, and I haven't missed a single feature