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
System/Network Administrator
SmarterTools Inc.
(877) 357-6278
www.smartertools.com