So the result is that both the QuickTime Animation codec MOV file and the QuickTime PNG codec MOV file worked great, though the PNG file probably had a little less clarity (at least to my eye).
Thanks to all for your suggestions, much appreciated!
Thanks all for your suggestions, much appreciated. I’ve actually now asked the animator for a QuickTime Animation codec MOV file and a QuickTime PNG codec MOV file. I’ll let you know how I go!