 By the way, this is where Williams' familiarity with Salt Lake, so Bravino Hall, there on the corner of the Salt Palace Convention Center block. He actually recorded there. John Williams, you might remember, recorded the musical main title theme, if you will, for the 2002 Salt Lake Winter Olympics with the Boston Pops Orchestra.