Perhaps they do some kind of conditional SPF with variables instead of static names, then the DNS values you input above factor into whether that overriding SPF check passes or not. I'm not familiar with it but that's my theory!
Kyle Kerst
Lead Internal Network/System Administrator
SmarterTools Inc.
smartertools.com