Digging a hole for a new plant in the garden and, surprise! found this. Thought it was a dog tag until I cleaned it up. It's a Panama Canal employee I.D tag circa 1919-1938 I know cleaning old coins is a no-no. But, I thought about putting this on Ebay for someone who is into collecting Panama Canal memorabilia. It's brass. Should I attempt to clean it or leave as is? Is Brasso still the go-to for brass cleaning?