Efectivamente, donde se conecta la antena hay 12,8V. El amplificador que me recomiendas parece un poco complicado de instalar, además no veo que voltaje necesita. En la pagina que te pongo al final hay uno con referencia A1-129858 que se puede alimentar a 12V (está casi abajo del todo) parece sencil...