Where does “pachinko” come from?

pachinko (Dutch) comes from English pachinko, from Japanese パチンコ, from Japanese 子, from Japanese 鼠, from Japanese nezumi.

pachinko (Dutch): pachinko