And here's a little bit of trivia:
Last night was the first time that Ivan Rodriguez of the Astros caught a pitcher with the same last name (Wandy Rodriguez). Given how long Ivan has been in the majors, and how common that name is, it is at least mildly surprising.
Ok, maybe only to me.