Hello! (My first thread here!) My mom bought a laptop online (I know how it sounds...). It's Lenovo's Thinkpad x240. Problem is, it appears to be running a pirated Windows 7. (Also it's not a clean installation, but just a computer that somebody used for some time. So I'd like to format it.) I...