This hasn’t been talked about since FactoryPMI, so I thought I’d throw it out there. Graphics for rotating devices like fans/pumps are a natural fit for the animated GIF/PNG format. No messy multiple files and rotational angles to deal with, and I imagine less CPU overhead. Great animation editors are available as well.
PS - I know Ignition supports animated GIF for the label component, but it doesn’t scale.