Have enabled ImageMagick. Here's a side by side comparison with GD on the left, ImageMagick on the right, no server side resizing in either case. ImageMagick is definitely better than GD, with fewer artifacts visible. Not quite as sharp as the original, but much better than where we started! Thanks for you help.