There a Punch out for 750 on ebay not mine.
There was a Guy back east seeing a nice looking for for 400 but at that price it think it has already gone.
I did buy a working punch out board with marquee from a Canadian it ran me about 140 or 150 Just in case I find a broken punch out here in LA.
Good luck in your search..