Hey, I wanna know your preferred laptops, used is better and to run Linux on it. Something with at least 16gb and 512 SSD is good. Budget range. Thank you!