I'm glad @drmordo brought up using an EQ pedal as a boost. A lot of guitar players haven't tried one as a boost yet and they work great for that. One of my bandmates gave me a tip about using a Boss GEB-7 pedal, the bass version of Boss's EQ pedal instead of the Boss GE-7 which is the regular guitar EQ pedal. I've tried both pedals for boost as well as EQ, and I like the GE-7 a lot but actually the bass GEB-7 sounds a little better to my ears. YMMV
View attachment 1020044
For the specific purpose of replacing a treble booster, I'd recommend sticking with the GE-7. The GE-7 freqs line up better with electric guitar.
The bass version goes from 800 straight to 4.5k, while the guitar version goes 800 - 1.6k - 3.2k which are all potentially useful freqs for boosting.
FWIW, I set my pedal up much like this, but may tweak the center freq of the curve to 800 if I want the Van Halen thing or 1.6k if I want the Rangemaster thing.