We already have 'starshield' starlinks in limited numbers in minecraft. They are more expensive afaik, but antennas/recievers are the same (maybe it's some kind of limited access to the system or they don't produce/supply different/military terminals yet I don't know).