Yes that's it. Thanks!

EXR does not appear in the list of available output file types - looking under the common tab in render settings. Here's what's in the file format drop-down menu:
https://cdn.pbrd.co/images/glDxPDfGs.jpg
(the blank one seems to be a duplicate of GIF)

Is there something I need to do to enable the ...