Actually there are laptops with desktop sockets, very rare though. Try to look for barebones of these:
Sager NP9570 / Clevo P570WM
I believe there are other boutique laptops too but don't remember who.
Yeah there are those (borderline crazy) but I'm not sure how he'll find that in a "cheaper used laptop"