William. Definitely! It's always better to go for the formal version and use NN. Especially in this case as it can be strongly partisan. Both my DDs are called something different (obvious short forms) of their given names, they even have different initials, it's never caused any problems.