@Jeffro - This plugin actually had this option before, but it was buggy.

Since this is a one time job and there aren't many images, you should do manual smushing at website.