I’m not convinced my first attempt at a SPF record worked. I’ve since found this SPF Setup Wizard, a nice introduction and also a detailed description of the SPF syntax.

There are also some validators that might be useful: