What if Mike Gundy Voluntarily Slashed His $5.25 Million Salary?

Care to elaborate?