Allied Electronics has them
http://www.alliedelec.com/catalog/pf...f&pageNum=1677
And also JustRadios
http://justradios.com/
I get the 8000 or 10000 volt ones when possible, they are cheaper than the 6KV caps and will still be far smaller than the originals.