XPS 8700 de 2013 - 1ª formatação

Prezados,

Gostaria de orientação e ajuda para a minha primeira formatação desse meu desktop.

Depois de todos esses anos, a máquina finalmente começou a travar (lag) de todas as maneiras possíveis, problema com tela azul, e por aí vai. Porém, o suporte automático disponibilizado pela Dell, verificação de driver e etc, não adianta de nada, a não ser consumir grande espaço de tempo, sem chegar a qualquer solução.

Uma das minhas preocupações para formatar é o Windows (hoje 8.1) e Office (2013) que não tenho o product key, e tenho medo de dar algum problema, caso ser solicitado, após a formatação.

Usei alguns softwares como o Belarc, para encontrar o número do Product Key, mas a Microsoft retorna como inválido.

Tenho nota fiscal e o computador nunca foi modificado.

Alguma dica/solução para o meu problema?

Muitíssimo obrigado!