[amsat-bb] OT: Tektronix Power supply repair in SF Bay Area/CA?