...from future problems: barking TDCs, polite but still lecturing German offciers, etc.)

(In other parts of the world people less frequently use abr or nickname on official papers.)

With so many miles I assume your friend has some status? So he can call UA ff line, and change his first name to its long version on his ff account in 3 min - for future travels.