Hi, well, if it's formal I don't think you usually say "John". Maybe "Mr. Johnson" or something else. Using "John" and a colon seems too direct and concise to me. Anyway, I once read somewhere that nowadays all emails tend to be pretty informal, even the ones that would be expected to be somewhat formal. In other words, I think I read that companies now tend to send informal emails to people