Thanks. The elderly owner before me took great care of it.
I've not had any quotes for the roof work. I had intended to hang onto the car for longer and do it myself--it could easily be done in the garage or on the drive. I'd guess a few hundred quid if you gave it to a bodyshop.