All we need is to do is step up to 500 to 550 volts then full bridge it then put larg filter caps on the output of the bridge then run it through an IGBT to chop the output to what ever frequency and duty cycle we wanted to. We could use a simple micro to control the IGBT.

Man it is worth experimenting around with, could save a bundle on shocking cost!!