I am thinking of a small form factor desktop and the first choice would be of course the Mac Mini. As it cannot be upgraded later, I thought of the intermediate model, with a Core i5-4278U 2.6 GHz, 8 GB RAM, and a 1 TB HDD. However, I can see Apple has not updated it in the last three years, and it is seriously outdated. An alternative would be the HP Prodesk 400 Desktop Mini, which ships with a Core i5-7500T 2.7 GHz, 4 GB RAM, and a 500 GB HDD, and Windows 10 Pro. This one would be about 25%-30% cheaper than the Mac mini (please note that I am not buying the laptop in the U.S., so it would be worthless any recommendations of stores with a better price). However, it comes with less RAM and storage (which can of course be upgraded). Which would be more worth it?