If he has windows XP maybe he could do a system restore? That would undo the codec stuff but depends on what he has done since he installed the beta.