Your method seems to be the most sensible. I located the other three files but I don't see this one. I do see a wdfilter.sys, but I'm definitely...
Separate names with a comma.