You can also get a refurbished thinkpad with Ryzen and 16gb of ram for 400€ or so on european Ebay.