If it makes you feel any better, the gun ultimately wasn't destroyed; if memory serves, the local department returned the gun to the owner and told them to sell it to a collector, because it was way too valuable just to junk.