Mayo has a player option of $4.2M which could get way more opting out.