hmm no I don't think so, I've been to a few Shark Clubs and they always have food and at least one pool table. The place I went to definitely did not have food, and was too arcadey to have a pool table.
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