For Peter, and anyone with a similar problem: it is now easy to send a
replacement copy by email, PROVIDED YOUR EMAIL SERVICE IS NOT GOOGLEMAIL
(or another one that bans useful attachments).
I've replied to Peter privately.
Best wishes,
Tim Bourne (SIAM)