Quite likely a cent that someone filed down to use as a dime in a vending machine. A lot of kids did this back in the day when a dime could buy you something!
Screw the file!! Tin snips worked just as good and faster!! Soda's back in the day were 35 cents,four pennies and you got a nickel back Well.......that's what my brother told me.