marcelo --

much thanks for the response! is there an update to mplayer, then, that I should install? where would I find it (or is it pending release very soon) ?