Magna 86: Thanks for your reply, even though it's not about the main point of my OP, that Avast add the ability to report registry keys as well as files using Windows Explorer.
MBAM quarantined the key.
But are you saying that MBAM may have missed something else?