It turned up!
So new toy, new features (time slipping!) will update this once I’ve got used to it.
One problem now I have a nice shiny new LCD.
Big old CRT. As it was tucked away in the corner of the room I really didn’t notice how huge it is. Hopefully a friend will have it (gratis). If not looks like I might have a problem.