Radio City Music Hall is a type of music hall.