What should the IRL do with its record book?