> Another way if you dont want to use all the gates and transistors is to use
> a 555 timer astable running at about 9kHz to drive the diode pump (ie the
> two diodes and capacitors shown on Will's circuit.

Hey, you have a PIC already in your circuit. Use a PIC port pin instead of a 555
!