Distributing and obtaining the software from the Internet is not technically allowed. But since the machine will necessarily have come with a copy of Workbench (and therefore a license) then you are entitled to use it. How you go about obtaining replacement disks is up to you.
--
moto