Retired numbers - Peyton Manning removal 

A user, who I've engaged in conversation on their talk page, removed Peyton Manning from the "Retired numbers" section of the article, on the grounds that it's "assumed" though not "official."  My reasoning as posted on said talk page, was that Jim Irsay, the CEO of the Colts, stated pretty firmly that no player will ever wear the number 18 again (http://www.thephinsider.com/2012/3/7/2853459/peyton-manning-press-conference-transcript-2012-free-agency-nfl).  There need not be an official retirement ceremony, or banner hanging in the rafters for the number to be retired.  As such, I would open it up to discussion, but I feel that Manning needs to be readded, with the sourcing material included to prevent future confusion. 208.40.242.41