Paul-Tyson gate fetches non-Vegas record $18.1M revenue