You can set passwords for guest/root, so I think they might run mkisofs on the fly as you download. I'm sure they could cache the ISOs for more popular options without passwords though.