Good to know, maybe the machine (or at least the manual) ended up at Shark Club at some point? The guy who was selling the manual said it came from there, so the arcade you went to was probably close by
