Dude, you have to tell the girlfriend. It would be better if he did. What happens when he dosn't tell her and she finds out he's out with another girl, EVEN HIS EX, it could be even more pain and torment for him in the end wihtout telling her. I would defiently tell my girlfriend.