Los principales fabricantes y modelos de terminales DVB-RCS son: