Correct. The ground reference stations multiplex their data to the WAAS satellite, which then pushes the data on WAAS-specific channels (hence, why your GPS receiver specifically needs to be built to support WAAS)