Embora parecesse promissor, a ferramenta sugerida por Martin não funcionou. (Ele se recusou a instalar). Mais pesquisas levam ao artigo da base de conhecimento 946414 que tem um link para uma ferramenta FixIt de atualização do Windows. A ferramenta FixIt quando executada com a configuração mais agressiva (não recomendada) resolveu o problema.