Thanks for this, it's really useful. I know a bit more about them now... frame numbers are 6xx and 8xx, so they are from 1988 as per the leaflet taped to one of them from which I'd assumed that date. The hubs on both are stamped 87-4 and 'Five speed'. I've only tried one of them, and the gear shifters are both quite stiff, but it did seem to work. Everything on it looks bone dry, although they aren't rusty, which is in keeping with what I was told, namely that they'd been under the stairs for 20 years before being disposed of on the owner's death.
Thanks again for all the info, I am a relatively recent returner to cycling - I got a 2nd hand Dawes Boost Suburbia during Covid, the first since the aforementioned Chopper! - so it's much appreciated. I reckon it's a good service for these two this weekend, we'll see how well (or if!) the other one's gears work and take it from there!