Hi there. We're considering naming DS Leo, but DH is concerned people will shorten it to Lee. Does anyone called / with family member called Leo know if this is likely to happen at all? Thanks!