I rebooted it yet again, but no joy... No worries, I have a lot of patience.
EDIT: Videos have worked fine with the default player, I was just saying that mplayer apparently doesn't support the video format I'm using, so I just uninstalled mplayer, and all is well.