We'll have to check back in 9.35 years to see if that part is accurate
I used to be a pretty damned good lawyer (if I do say so myself), but I never practiced federal criminal law, so I have to admit that was pure gut feeling and general lawyerly instincts. :)
I mean, the 9 served thing is a little easy, since it follows mechanically from the actual sentence (also, it'll be 10 served, not 9).
= 9.6 years (based on 54 days per year off for good behaviour)
We'll have to check back in 9.35 years to see if that part is accurate