Specifics on ImageMagick and animated GIFs
For Craft to use it, yes the ImageMagick PHP extension is required because Craft uses PHP's bindings in the library they're using.

Depending on the host's OS, it should be a package manager update away. Any decent host should be able get it working incident free.