Enjoying an amazing evening of music by George Gershwin at the Hollywood Bowl