@ LP
I don't have Amiga Quake, Napalm or OS 3.9 :-)
Seriously though, it's dangerous on a subject like this to say one thing and mean another. If people got the attitude as a result that companies are right to demand all kinds of things in their license agreements, the rights of the customer would go straight out the window (near pun not intended).
I agree with your later point, how would I know if this guy really lost the disks, and in the end I'd probably advise him to try and make face to face contact with someone who does have the WB3x disks so that he can provide proof of ownership. However, as everyone knows, there are plenty of sources on the web for workbench disks, so it would be much easier to get a copy from there.