Congratulations to Mariano Rivera, Edgar Martinez, Mike Mussina, and Roy Halladay on being inducted into the Hall of Fame. I think I have mentioned before how much I liked Roy Halladay and was ecst…