Okay, this question isn't really for me. It's for my band's guitar player. He plays Marshall TSL100 and JCM800 heads. When we play, he usually just mics his cab. The problem is that he's too loud and never actually ends up going through the PA. He doesn't want to turn down because he wants all of his tubes to be activated (?) so it still sounds the same. So how can I quiet him down. Would a compression pedal work? Again, stupid question... I know.