ci sarebbe anche il buon -gratuito- GraphicConverter.

Poi, se ti serve processare 2000-3000 immagini in poco tempo, non sarà molto Mac-like, ma come ImageMagick non c'è nulla.