I think ImageMagick is a great idea because video thumbnails can be generated without using ffmpeg and thumbnails can be regenerated if needed. Especially useful when switching to themes that use different thumbnail sizes. I think.