AOTS confirmed

Incidentally, I really _am_ going on the industry training trip to
Japan. I’ll be leaving on August 25.