Ya, the K definitely has the OTA tuner built in, lots of confusion on the web about that. I almost bought a Z until I found out about it. From what I can tell it isn't even a module, it is permanently built in.
Did a switch check and re-downloaded the guide. Still no HD locals and I know my...