I don't know how much a used laptop would cost. But, based on specs, IMO these laptops aren't worth 15K. Both seems to come with a second gen processor. With only 4GB RAM included and no SSD, Windows 10 will run slower on these devices. If you are not planning to upgrade RAM or SSD, you should run Linux on these for better performance.