DJ Moz with a happy mix of light and classics for the rather more refined mosh pit, just outside the orchestra's one . . .