Fortunately he found the spare finally today but wanted still to replace the lost one. The dealer emailed the fitting instructions and it said to record the key number. So I gave this to the dealer and they still said there was no way to get a spare and to see a locksmith instead. They don't make plastic socket tools.
Thanks for the suggestion though and will look into that if need be.