Como muy bien dice el amigo Alférez con un simple 7805 tendrías más que suficiente, ahora seria conveniente saber la potencia de consumo ya que de este tipo de componente tenemos dos tipos, el encapsulado TO220 hasta un 1A, en tu caso creo que sería mas que suficiente, al estilo de cualquier transistor de potencia, con chapita para adaptarte un disipador, o sino tendrías que buscar el de encapsulado TO3 tipo sombreo dos patillas y el chasis siendo la masa, este si aguanta más, pero eso si deberías saber la tensión de alimentación ya que esto depende, aunque no es tu caso ya que aquí estamos hablando de una tensión no superior a 13,8V arrancado 11,80V parado.
Este componente da mucho juego ya que puedes colocar una resistencia en la masa y la salida puedes ajustar a tu gusto eso si, nunca bajara según la referencia de 78[size=150:2id5zgtn]05[/size] 5 voltios en este caso.