Not the best solution in this case, but coincidentally one that I used to revive a handheld multimeter last year: A pencil eraser will polish up old copper contacts very nicely. It's the gentlest way I've found to cut through the oxide layer and a nice hack to have for cleaning up delicate contacts in old electronics.