If in Austin, check out Pinballz Arcade - easily more high end pinball machines than you'll find most anywhere.