The linked BBC article above says the Starlink terminals are made in Texas.