I went to the BOB for 2 games a while back and saw a no-hitter! Randy Johnson was the pitcher but the no-hitter came from a St. Louis pitcher. I believe his name was Jose Jimenez and he became a closer for the Colorado Rockies. This was back in the late 90's. Nice Ballpark, it stayed cool which was great considering the temperature outside was well over 100.