I plugged it in and the guy was right, it didn't work either in bypass or when engaged. Interestingly the LED went on and off with the switch leading me to conclude the power supply itself was still ok and the switching system was working (Boss use JFET switching systems).
To save money Boss used really inadequate filter caps. The pedal takes 12v, but 18v caps are used. On the opamp bias line (half of supply) they use 6.3v caps for what equates to a 5.2v rail (12v becomes 10.?? after diodes have dropped the voltage, half of that is the bias voltage for the 2 x 4558s) so I wanted to check out the power supply and anything related to it, presuming something in the signal path (there's 11 transistors, 5 opamps) wasn't getting the juice.
Here's the backside.

Here's topside after some component changes (anything blue):

When I opened up the back a transistor fell into my lap. Q6. It had totally broken off at the body. I took out the legs and installed a 2n2222 in its place, bearing in mind the pinout is different so 2 of the legs need to be twisted.
This didn't solve it. There was also some brown corrosion on 2 of the nearby resistors, so I replaced those with metal films while I was in there. Still no dice.
Then I replaced all the caps in the power supply network, along with the 11v zener. If someone used the wrong power supply these components may have died, plus they're all 41 years old and, as mentioned, underspec'd for the job. I used modern replacements rated at 50v.
Still no dice.
Then when I ran the voltages of the opamps I was getting weird readings at the outputs. It was 1.3v while the supply is 10.4v. It should be half of supply (~5.2v), not a tenth. I wiggled some stuff around to find the supply voltage but couldn't get a reliable reading, then when I checked the output voltages again to see if I'd made a mistake the voltages would fluctuate from 1.3v up to 6v and back down again. Checking the schematic, there's a voltage divider network of R34, R35, and C25 which bias and filter the opamps. Interesting.
I pulled all these components and found a lot of white crusty flaky gunk under C25. I cleaned it all off, installed brand new components (a 50v cap in place of the 6.3v rated stock cap), and now it works.
Along with 2 transistors everything blue is a new part:

Serial:

Behold the majesty:

It's good to know my brain is not as calcified as I thought.