After you file

Ok ... on the W-2 ... employer's name was  Office of Personal Management  and I entered just  OPM (short handed it)  and the IRS does not care as long as the EIN was entered correctly.  

 

It is kind of an inside joke really since Office of Personal Management  is the federal government and OPM also means Other People's Money ... HA HA... old joke about  our tax money paying  government employee paychecks.