It was just before the start of the Texas Pinball Festival, the annual gathering of pinball enthusiasts and collectors who brought their prized machines to Dallas/Fort Worth over the weekend for three ...