7.5 KVp-p is 2.65 KV RMS. A 1 mA current draw implies 2.65 W, something than can be easily provided by a 8038 function generator chip and an audio amplifier. I think a few identical transformers with their low voltage windings connected in parallel and their secondaries connected in series could easy provide the voltage and current specified.
I would first look for some vacuum tube audio amplifier power output transformers because they have lower distortion and a wider frequency response. If not, then mains power transformers, preferably with toroidal cores, will work but their voltage output at 40 Hz will have to be considered.
Cheers,