Each of your suggested models has numerous versions/configurations. If you are able to give the full model numbers, or, better still, a link to the versions, I sure someone can give helpful advice. In terms of the manufacturers, all are reasonably well regarded, so there's not a particular reason to chose, purely on the basis of manufacturer alone. All "have their fans".
How to get Windows 10 now: how to download and install Windows 10 even if GWX.exe is missing