 Some good pitching along the way. It was over in a brisk .228. Sometimes you'd like an all-star game to maybe last a little longer to see these guys, but no one's complaining. It was nice. It was not overly memorable, but Texas put on a good show.