Because it would be the second repair of the same problem I wanted a better fix. As mentioned in this thread one with a higher voltage rating might be better. I decided to go with 1,5/2,5 kV from a crt tv. The ones it had where 8,2 nF. Having both in parallel means it gets to 16.4 nF. But because the faulty one was only 7 nF, and probably was just over the edge of resulting in failing I think they're good enough. I measured quite a few film capacitors and a lot of them where only a fraction of their intended spec. Hence the idea of taking high quality ones which were stil spot on, even after being in use.
They're a bit heavy so I drilled 2 holes for some tie wrap. Space enough

.
After this fix the receiver works as expected. The idea is now that those over dimensioned ones won't drop in capacitance.