Currently, the SPF record reads
v=spf1 mx -all
which requires that every mail sender can also receive mail. For testing, it would be very convenient to have a server that can send mail, but that does not receive external mail yet. For this purpose, I created a new subdomain
mailsender.tools.wmflabs.org
which has an A record for both mail servers (208.80.155.162/mailrelay-02 and 208.80.155.188/mail). The SPF record can then be adjusted to
v=spf1 a:mailsender.tools.wmflabs.org -all
or
v=spf1 a:mailsender.tools.wmflabs.org mx -all
Testing with http://www.kitterman.com/spf/validate.html indicates this works correctly.