Thank you all for your replies. I've taken your collective advice to protect the entire system, by updating my Mint version, which gives you an easy way to encrypt the whole disk. Cliff