Bougth one a little newer vintage 1970's then the one in the pic for decoration in my arcade, but fully functional and all original diner grime, for $30.
got them from the old JP amusements in Lake Ariel Pa, he got them from an auction. That guy bought stuff from all over the US so my bet is they could have come from anywhere. All three went at auction last month for like 55$ :-(