Restoring a 1960s Japanese Pachinko Machine with 3D Printing