Thanks!
The TJB-55 is made in Japan according to the Finish Tokai agent.
Anyway, in the Tokai catalogs for 1986/87 I've only seen the TJB45 model, so I thought my 1987? Tokai must be a TJB45, but since it has 4-screw reverse tuners I've started to wonder. You mentioned there are different...