Yes,
and that is a big problem nowadays. Finding a tech with knowledge of repairing these old amps.
Especially where I live. There is no one.
The amps is working fine otherwise, I just have to tinker with the EQ's on it and the guitar to get a half decent tone.
It's not my main amp anyway, I have it more for the nostalgia and collectability, more than anything else.