Lot of 2 Vintage Mini Pinball type games. One marked Hong Kong has pinball shooter and design of pirates and ships. Other has design of dragons, no shooter mechanism, just divots to get balls into.