re: Galaxy Book 4 vs HP vs Dell?

Just from experience, a Lenovo or a Dell would be best bet. 9 keys bump price up a bit. Inspiron is the Dell consumer grade product so grab that if cost is a concern. I’d go to either site and use the configuration tools to spec and price. Being in IT I just don’t like gambling on lower tier equipment, but that’s not to say you won’t get the deal you want going with the non traditional computer companies.