You can never have enough image compression apps. I recently started using JPEGmini when I wanted to compress old images on this blog and am really happy with the results.