Also, do we retire No.2 as Senna was driving that in 1994? Do we retire 32 as Riccardo Paletti was driving with that number in Canada '82, as was Ratzenberger at Imola '94. Should we retire No. 6 as Ronnie Petereson carried that number at Monza in 1978?
There's probably very few numbers on the grid which haven't had a fatality associated with them. To start retiring numbers is just silly (in my view).