Does Andy Pettitte belong in the Baseball Hall of Fame?