My friend has a faulty hard drive and I would like to buy him a new one for his birthday. He has the HP Envy x360, and I want to make sure i'm making the right choice. I know that there are a lot of models and I can't seem to find his myself, all I know is that it has "Hewlett-Packard" right under the screen and has light up keys. Thanks in advance!