and it’s pronounced “toke”…..don’t look like an idiot like me and call it “tock”. We were just passing through, so as a one-night stop, it wasn’t bad. Eddy’s was good.