I don't want to spend time transferring to mpeg2 format so what's a player that plays avi, divX, quicktime and all that stuff?Mech