Do the vintage machines actually have names at all? Or is there just 20 (or some number) different versions of 'Nishijin Super Deluxe', etc...