I'm a former owner of a 'Punk'...sold it YEARS ago to a 1-pin homeowner. It ultimately probably ended up at a tag sale (speculation on my part) when their kids outgrew it. FWIW, it wasn't a very good pin, even in context of what else was available at the time. Typcal Gottlieb cheese, but to each his own. There really is no history of pricing on this, but I'd hazard a guess at -oh, I don't know-800.00 for a player?
Punk is usually lumped with "Rock" or "Rock Encore" which I also own currently. Rock has MUCH more interesting play and again-in my opinion-a much better pin. YMMV, though. Good luck searching-that's the fun part!