[GroundUrMast]

...
No active pay satellite service on the coax that is being used for the antenna.
...

With the correct diplexer, satellite and OTA can share a common coax.

But I agree, mixing cable service and an OTA antenna system should not be done.