True.
I haven't used Google Drive (intentionally) in years, so I don't know whether this will work, but here's a link for anyone curious:
I called Mesa yesterday, and got a call back from a guy named Chris in Nashville. He told me I'm looking at somewhere between $150 and $250 (I'm going to guess that means $250) for the repairs described in the TSB, plus whatever I spend to have UPS/FedEx hump the amp to and from California (probably another ~$100 or so.) The alternative is to drive it an hour or two to a local authorized repair shop, but I think that's more likely to go sideways and cost me more money. And Chris did say that Mesa would better able to go over the amp in full and get it sounding exactly as intended.
Meanwhile, GC has since refunded ~$245, so that nearly breaks even, apart from shipping. I just have to make up my mind whether to make the amp "right", or limp along as is. Not ready to part with it just yet.