>>> All companies I know have coding standards which include formatting.
The same here. It is because a firm I was with was trying to enforce K+R that I did the research that showed Allman to be better.
The simple truth is that most people are happiest/faster/productive with the format they are familiar with. They will do less well in an environment that forces them to use a different one. So, let all the employees use their own style but dictate a company style for archived code and supply a code formatter template which allows anyone to change to/from whatever format they like.