Tom,
A thought--- how are other manufacturers' Ordnance guns stamped? Do they have the same "USA-F" stamp, or is the last digit something other than "F"? Perhaps Walt can answer this and shed some light.