Thanks for the (mostly.....) helpful suggestions.
"Bombing" and/or a professional pest control specialist looks like the way to go.
I'm having our garage doors replaced tomorrow, so will need to wait until after that, as it would be a bit unfair to subject the fitters to a poison gas cloud.
