Are the Cards unique in retiring a # (85) for someone who never played with that # (excepting 42 of course).