Numbers being retired in the PL is unheard of. Plus, why not do what other clubs have done, and award it as a 'prize'. You know, as a shirt of great significance, a la the number 9 for Newcastle.
I like this idea much better. Same like the No. 7 for United.