Mike Clarke wrote:

Does her insurance cover lost keys?

I understand that, for security reasons, some companies replace all the
keys and locks after a claim for a lost key.

That's an interesting suggestion, thanks.
From my experience of insurance companies, I doubt it,
but I will see if she is lucky.

--
Timothy Murphy
gayleard /at/ eircom.net
School of Mathematics, Trinity College, Dublin