vale OK! Simplemente se utiliza un regulador para bajar la tension de 12V a 9V.
Se plantean dos casos: alimentar la pistola con 5V y 9V (muy facil, pues esos voltajes ya sabemos de donde sacarlos). Y el otro caso es alimentar la pistola con 3,5 y 7,5 V (algo mas currao pues hay que montar el circuito que comenta Skip). Por mi parte, ahora que ya me habia comprado los componentes, voy a realizar el segundo caso a ver lo que sale.
Creo que los esquemas serian estos:

Caso1:



Caso2:



No estoy seguro de que este correcto, pero segun lo que comentais y lo que he visto por ahi creo que seria ma o meno ...