The problem is: I don't know how to burn a .iso in Windows (our windows computer... sigh).
I tried installing cdrecord (program to creat .iso files from regular files in windows), but something went wrong during install
Any other ideas?
I can't create the .iso in linux, so no need to suggest that ;-)