That's true, John. But the NICS paperwork does not have any indication of the gun's serial number on it. The serial number does appear on the 4473, but that is kept by the dealer.
And by the way, current ATF rules say that the dealer has to keep the paperwork for 20 years, then it can be destroyed.