Correct. I didn't provide enough detail. I did actually use nearly all of the new fluid (3 x 15 quarts).Not trying to be critical, but for the sake of others reading this, something doesn't add up. The system capacity is about 12 qts and you said you put 9 qts back in. Did you measure how much was drained out? In my experience, the output doesn't run cherry red until about 12 qts of old fluid comes out. Maybe you meant to say you filled with 4 qts twice (5+4+4 = 13?).
Also, not sure what videos are out there, but from what I have read its not advisable to suck air into the system. So when I did this I pumped out no more than 3 qts at a time just to be safe.