I think that for the SV6 (and possibly SV8) it might be best to just use TSIP all the time. For Garmin's a lot of the interesting stuff is only available in NMEA, I haven't tried to enable WAAS on garmin, but it normally shows the waas satellites as 33-36. I'm sure that we can just discard any satellite id above 32.