Yep. You know he has an army of Operations Research PhDs optimizing that.
You're probably right, though I always thought he was smarter than that.