Does Wagner get his #13 retired now that he’s in the HoF?

To be honest it’s odd that it isn’t already. I feel like if Jim Crane were around during the Killer B’s era that Wagner’s #13, Oswalt’s #44, & Berkman’s #17 would all be up in the rafters. But because he wasn’t, the organization doesn’t treat those guy’s careers with the reverence they deserve.

One could make the argument that those 3 had more illustrious careers than anyone else up there outside of Biggio, Bagwell, & Nolan Ryan. Personally I don’t think Crane does it, despite Billy now being the franchises 3rd player to get to Cooperstown.