From my longtime experience as a law enforcement dispatcher, I can tell you how the stolen gun process supposed to work, just so you'll know:
It's important to have the serial numbers to all your guns so that you can report them to the police in case they are stolen. From the police report, the guns should be entered by the reporting agency into the NCIC database of stolen firearms.
Generally, whenever an officer locates a firearm, he runs the serial number through NCIC. Assuming the serial number has been entered correctly, a "hit" will be generated from NCIC showing the agency which reported the stolen gun. It's the responsibility of the locating agency to notify the reporting agency. A hit confirmation request should be sent by the locating agency as soon as possible. The receiving agency must confirm the hit within a certain time limit (15 minutes?) Otherwise, they can expect a call from the FBI asking why they haven't sent a reply. The reporting agency should be able to locate the report by means of the case number. After the confirmation, the locating agency sends a locate message, which effectively removes the stolen gun from NCIC.
In general, that's how the process is supposed to work.
Now I've never personally had a gun stolen, but I've made a few trades with dealers which made me feel as though my gun WAS stolen!