Can AI buy football tickets for Notre Dame football?