That's the dumbest thing I've heard about 4k. You do Not need any Internet for 4k....at all. I've worked for mastec in the past and I still know people who do, for about 3 months now, they don't even get hr44s anymore. The company I work for hasn't gotten any hr44s since late June, just 54s. I was told that the 44s could do 4k on demand over the Internet, but I'm not even sure because I never saw it done, or had anyone ever ask. EVERY 4k job I've done was with hr54 using satellite transponders. It sounds like you got a poorly trained installer on their first day. This is absolutely likely with mastec, they are WORTHLESS. the amount of chargeback and insane routes and scheduling means their turnover is abysmal.
Funny thing is, my company's workload has doubled in the last two months because mastecs contract is getting killed by Att. Att did a nationwide QC audit and the mastec jobs were the worst, resulting in them not getting their contract renewed whenever it runs out.
If you get a mastec guy, MAKE HIM LEAVE. He hasn't been on the job for even 90 days, he don't know, and doesn't care because he is getting hammered with chargeback.