CREATE TABLE table_name_67 (round INTEGER, name VARCHAR(255))
What is Roy Hall's highest round?
    
SQL: SELECT MAX(round) FROM table_name_67 WHERE name = "roy hall"