Annoyingly the keys were left with the other set, so both sets were together.
We've casually hoped they would turn up for the last couple of days and they haven't, so we've turned the house upside down looking for them and they seem to have vanished!
Now I'm still going that we will suddenly find them but it's it possible to get a new manual key cut? Is there a key number anywhere?
Any idea on prices?