I’m very happy we have him. But I am really tired of this business of calling players with the name Rodriguez X-Rod and Martinez X-Mart. Do you realize that if this silliness had been fully in effect when we acquired the once-great strikeout pitcher Pedro Martinez, we would have had to call him K-Mart?