Hi Chris,
Your second point is correct.
Multi-band Reach receivers track SBAS corrections and use them as part of the solution, but we don’t write them as DGPS in GGA string.
Just in case other users encounter this thread, I wanted to add that SBAS accuracy is 1m CEP and greatly depends on place. If you need higher accuracy, you would need to use RTK or PPK.