 And they all flew into Salt Lake and recorded at Bravenel Hall. So if you go back and listen to that 2002 Salt Lake City Winter Olympics theme that John Williams composed and conducted for the recording, that was actually recorded in Salt Lake City. He also, in his letter, wrote that he greatly admired former Utah Symphony conductor Maurice Bravenel, who the hall is named after.