The original Robin costume was worn by Dick Grayson, Jason Todd, Carrie Kelly, and (briefly) Tim Drake between the first appearance of Robin in 1940 and the suit's retirement from all media at the end of the 1980s. Going forward in the Post-REBIRTH DC comics, what should be the status of the original Robin costume?