CREATE TABLE table_name_86 (attendance INTEGER, venue VARCHAR(255))
What is the attendance in texas stadium?
    
SQL: SELECT SUM(attendance) FROM table_name_86 WHERE venue = "texas stadium"