Did Mullen have a 4 million dollar buyout? I don't remember that being the case.