Rodeo tickets include entertainment tickets.