As a rule of thumb most gigging musicians / soundmen order the 15db filters for stage or front of house use.
9db isn't always enough and 25db mutes almost as much as a solid plug The 15db seem to be the perfect middle ground. Protect your hearing....huh...I can't hear you...my ears are ringing.