We've never re-numbered aircraft before though when they get swapped around. Even all the 717s still have -AT tails afaik. I wonder if this could have something to do with the 30 CRJ900s Delta has options for? Assuming that deal is still in play of course..