Is it possible to change the profile name ?
You could just start a new account. I know you have built up a lot of posts, but that might be the only way.
It's only a Full Member account with 140 posts, if he's that concerned about his username he could start a new account & be at Full Member account in no time.