Dear list,
If you think that any of your staff may send mail using your domain but through other servers (eg home ISP's SMTP server) then I'd recommend you don't use hard fail. Save yourselves the grief and just stick with soft fail.
Furthermore... sorry to be a DNS pedant, but using include: rather than a: is poor advice. Firstly because using a: won't break if the IP address changes anyway (the cache is only as long as the DNS records TTL, after all these are names not IPv4s), but mostly because include: is for including another SPF record, and neither of the N4L names listed have an associated SPF resource record.
The section entitled 'Only "include" existing SPF records' at this URL explains in more depth:
Pete