#podcast listeners and editors: usually i play the intro theme under our panel, and fade it out when they've all introduced themselves. this episode has a much longer intro, nearly ten minutes. should i keep the music playing the whole time (quietly, -25db, for about ten minutes), or fade it out early?