I don't live in Dallas, no, just traveling through. I always check out local arcades when on trips.
And yes, that's pacman next to it, billed as the worlds largest pacman. It plays a bit different, with two-player mode having both players on screen at the same time. Was also pretty kewl, but the Space Invaders was particularly great. It's a sit-down, with a butt-shaker, and (presumably) an analog joy disguised as a cannon you use to shoot the invaders with, which shakes in your hand as you fire. Very fun.