I get mine from the HRC website. I cannot access the Active duty side so I have no clue what is there.
I would still suggest getting ahold of Career Manager and ask them.
I just reread your OP and you IRR time does not count toward AD time. you only have 6 years AD time.