Update (13 Oct): my new filter rule created specially for these people three days ago has so far blocked eight spams which all the other rules missed.
And for some reason our mail server is having momentary blips again and every so often a spam that did get filtered out is ending up in my mailbox anyway. (I blame the router that broke yesterday and apparently fell through the gaps in our maintenance contracts.)