The final results are below, though I think posting all of the images and text here is really more trouble than it's worth since it's all online already.
BEST: Photoshop Save for Web & Devices. No other optimization needed.
GOOD: Lightroom export with JPEGmini optimization.
CRAP: Smush.it. Not worthwhile for any images.