I don't know a specific answer to your question, but I think producers generally do (contract obligation, possibly) list actors in marketing and Playbill by the actor's chosen version of their name. That being said, it would be a real shame to have that fun surprise ruined the first time you see Chicago. It always brings down the house. I'm assuming that the actor wishes to be listed that way.