Price depends on a number of factors. There are some Bally KISS games that have overlays installed and some that have IPB repros and of course originals. $7,000 would have been the asking price 10 years ago - easily. These days - higher. All depends on the quality of the restoration.
