[mustntmumble]

Yes, and also they are not HP servers, they are HPE. HP split off the server division into HPE Hewlett Packard Enterprise some years ago. I have a very high regard for HPE products, not so much for HP products...

[bayindirh]

It was an "HP server" when it arrived 17 years ago :) Split happened in 2015.