What are the highest recorded attendance rates of the stadiums with an average attendance of 4752?
CREATE TABLE table_158 (
    "Team" text,
    "Stadium" text,
    "Capacity" real,
    "Lowest" real,
    "Highest" real,
    "Average" real
)
SELECT "Highest" FROM table_158 WHERE "Average" = '4752'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What are the highest recorded attendance rates of the stadiums with an average attendance of 4752? ### Input: CREATE TABLE table_158 (
    "Team" text,
    "Stadium" text,
    "Capacity" real,
    "Lowest" real,
    "Highest" real,
    "Average" real
) ### Response: SELECT "Highest" FROM table_158 WHERE "Average" = '4752'