I got my hands on two or three older straight keys (nothing rare, just old,) One is a little rusty and the others have what’s called a “Pantina?” I really want to take them apart and polish them up and make them shine. I don’t plan on reselling them, I just want them to look new. But, before I do this I want know is that a bad idea? I know in coin collecting, if you come across a rare old coin and clean it up you will have significantly reduced its value. Does this hold true with older straight keys?