I was poking around the series of tubes, and found this: https://www.ehx.com/wp-content/uploads/2020/12/1970-ehx-catalog-page.pdf Entertaining, as these things usually are, but among the Weird Things I Didn’t Know About was a Bad Stone version. I just sold off my red/black Bad Stone. I have had it since the early ‘80s, and I loved it for the Manual setting, not being a phase shifter kinda guy normally. I always thought it would be super-cool if the manual control was via a foot pedal, rather than a knob. Who knew that EHX made a Bad Stone pedal? Well, someone knew it, but I sure didn’t. If I ever find one, I am definitely going to... who am I kidding, if I find one, I won’t be able to afford it.