The proxy statement goes on to say that any time Cook uses an Apple private jet for personal travel, the costs are considered extra compensation, on which he will have to pay taxes.

To that end, Apple says Cook racked up $93,109 in personal travel costs for the company this year "based on hourly flight charges and other variable costs incurred by Apple for such use, including variable fuel charges, departure fees, and landing fees."

Similarly, Apple paid $224,216 in "incremental" private-security costs for Cook, the statement says, including hiring personnel specifically for his benefit. All told, Cook made $12,825,066 at Apple in 2017 — including a $16,200 contribution to his 401(k) retirement account from the company.

And if you were wondering, other Apple execs get to use the private jets, too, if required. But if they bring a spouse or other family members, Apple says, they have to pay toward those same "incremental costs."

But, hey, if Apple says Cook has to do it, there's not much he can do about it.

On a historical note, Cook's predecessor Steve Jobs actually had a private jet all his own: Apple gifted it to him in 2000, a few years after he came back to the company in 1996, as a thank-you present for turning around the company. Apple actually reimbursed Jobs for any time he had to take the jet out for business purposes.