Might be worth converting that nice PDF to indirect DjVu format to get the size down.