Hi Archimede,
Thank you for visiting the HP Support Forums and Welcome. I have read your thread on your HP ENVY 17-j009el Notebook and needing your HDD specs. Your HDD on your Notebook is 5400 rpm Sata. I use this link to find compatable parts
It is a third party site.
Hope this is what you need.
Thanks.