I would recommend that you convert them to PNG for better compression. Since they are black-and-white line drawings, converting them en masse from the existing GIF will be lossless and not sacrifice any quality.
Ok, I'll look into it, but it won't be for several days... and I still haven't got around to proofing the text.
thanks, loh