Pinball Pete's is one of the mall tenants relocating to make way for the development, which now will be even bigger than ...