I need some help trying to find out the height/thickness that may fit for a replacement. I currently have a Lenovo Edge with a WD3200BEVT 4500RPM 8MB cache and want to replace it with a WD5000BEKT 7200RPM 16MB or 32MB cache but from what I can find online the current drive may be 7mm height and the one I would like to replace it is 9.5mm. Can anyone help me with information verifying either or any of this. I have downloaded Lenovo's Service and tech. manual along with their hardware manual and nothing about specs. mentioned for hard drive.