Just clean installed on my HP laptop. Running at 46°C and Magician benchmark tests as expected for PCIe 3 installation. What was unexpected was discovering the driver its using is a generic windows one and that there isn't currently one available on the website or on Magician. Seems to be working fine though. I may have accidentally deleted it's own driver but would appreciate if anyone can check if they've got a Samsung driver or also got the windows one. Is it a big issue?