Yeah, once you approach 10k, time to restart the numbering. And clever with the two sets of numbers. R9/7/5 is like intel's i7/5/3. People are comfortable with three levels of performance, feels familiar and easy to understand. And then using a separate xxx set of numbers for the specific models allows room to grow again.