Made a few clarifications, to your narrative. Excellent example of how "stuff happens."
For the skeptics, entries to NCIC (not 'NICS, of purchasing background checks) are more or less a manual action, whether it's listing a vehicle
or firearm as stolen, or a warrant for arrest. Generally...