Thanks, I knew the info at the Turkish website had to be wrong or out-of-date!

Follow-up question. Should I wait for the shuttle or grab a cab to get to the International Terminal if I can find one willing to make such a short trip?