Do y’all think Nico’s #12 will get “retired?”

I mean like how JJ’s #99 and Andre’s #80 for example aren’t formally “retired” but stay out of circulation