I do something similar, but simpler, than ojaverde, on my non-reverb Deluxe...I have an A/B switch with the Normal channel set just a touch louder and more treblier(?) than the Vibrato channel. Time for the lead, just tap the pedal...instant boost.
Martin
E. Christina Herr & Wild Frontier