But Bobby, If it is indeed his name, then it matters not what his role is at any time.
He is the same person regardless right? If someone calls you "Robert" one day, and "Bobby" the next, they are still referring to you.
So, the opening poster makes a great point. If Jesus and Michael are the same person, (despite different roles), then why not use that name? It is not technically incorrect