OK, his minor league stats are no longer showing on his player card. Midway through his third ML season he wasn't getting any results and I demoted him to AAA, he stayed there for his fourth season, and made it back to the majors partway through his fifth. It was completely unintentional, but it delayed his service time. He stayed between three and five seasons of major league service - thus arb eligible - two seasons longer than usual.