[dtvmcdonald]

Don't forget to look at Mouser and Digikey and Newark: what they have comes and goes,
but at the moment they have box-style ones good to 6kV that will work.
You can always use larger values.And cheap to!