Did spend more than 4k already for a couple of drive pedals, but I won't do it again. In my opinion, all drive pedals offer the same sound (no matter what color or tonality it is). Drive is drive, and most pedals in the below 4k range can do almost 80% of the tones offered by its pricier counterparts, so why spend? I dunno, but I don't think the audience will be able to appreciate such small nuances from your tone. If you want a lot of options, then I'd choose the distortion modeler route / multi fx - more bang for your buck.