CREATE TABLE table_name_85 (pick__number VARCHAR(255), college VARCHAR(255))
What numbered pick was the player from texas?
    
SQL: SELECT COUNT(pick__number) FROM table_name_85 WHERE college = "texas"