Does anyone have any thoughts on this? I was just experiencing some media player frustrations, and was looking for a way to make mplayer the defauly player. Has this been solved?