sí, el Maligno los lleva incorporados, pero creo que por defecto no sale el hispasat, para que te salga has de elegir, creo, disec 4x1 en la configuración, entonces ya sí te sale el hispasat con todos sus parámetros.
En caso de que no te salieran, o te vieras obligado a meterlos a mano, por lo que fuera, pregunta los parámetros en la sección de antenas, que es más pertinente...