Lo puedes formatear facilmente hay muchos manuales, te haces un usb de arranque con el sistema operativo Gran capitán e inicias e instalas de 0, de todas formas puedes hacer una cosa pídele el numero de serie al chico y lo registras a tu nombre en appel, puedes hacerlo por teléfono o hay una web, si necesitas te paso el enlace