Actually no..and that was intentional. I also did not share this with the company. Learned long ago if you want something done the last place to take information, of this nature, is to your employer. In this case they are so ill-informed they would not see the significance of it. Besides that most are liberals...you get the picture.
Then LEO was your best bet. Just thought a list of those names for your own protection...to keep away from...or compare if you run across a similar name might come in handy.