Seria difícil instalar software mal-intencionado enquanto estava logado como um usuário comum, então, nessa pontuação, você pode presumir que ele não fez nada desfavorável. Eu suponho que ele poderia baixar um instalador e, de alguma forma, levá-lo a executá-lo como administrador, mas você não parece o tipo de pessoa que executaria algo sem verificar o que era primeiro.
Além disso, você precisa se perguntar que benefício haveria para ele ao fazer algo mal-intencionado em sua máquina.
A formatação da máquina certamente removerá qualquer software malicioso, mas parece ser um exagero nessa situação. Se estiver preocupado com o fato de que ele possa tentar obter acesso mais tarde sem seu conhecimento ou autorização, altere a senha na conta do usuário.