This is bizarre. I would suggest he contest the $200 charge on his credit card.
When paper tickets still existed, I had a number of electronic tickets that somehow were converted to paper tickets that I didn't have, but the reps at the checkin desks & gates (UA, US, NW) were always able to deal with it.