Aquí disponen del link de descarga del manual de usuario de Dinesat Pro Radio 10 junto con el manual de usuario de Hdx Remote Tools.

http://www.hardata.com/downloads/DinesatRadio10/DinesatProRadio10_Manual_es.zip

Los mismos también se distribuyen junto con cada instalador que se libera.
Saludos.