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