If this helps our main mail server is "smtp.shocklogic.com". You could remove "www5.shocklogic.com" and only keep the main server SPF record. However, the impact of removing "www5.shocklogic.com" is that if our main mail server fails the emails and the secondary server starts sending, some of the emails sent from your projects may end in the "spam" folders for delegates/authors/members, etc.
The chances of this is very low.
For more details about SPF please read here.