joeparis:You're right, they are quite big. If you have Adobe Acrobat you can reduce the file size substantially by making it compatible to later versions of Acrobat only. Managed to get the whole lot down to 100MB.
Or open it in Photoshop and export it back out with higher compression.