The 2TB tall drives are 15mm I think...The key takeaway being that the stock drive is 5,400 RPM and that the bay can take the taller 12.5 mm drives. That opens up a few more drive replacement options.
I ordered a 960GB SSD, but there's no risk because if it doesn't work in the PS4 it'll be my laptop upgrade anyway