con algún programa tipo Speccy, Aida64 o similar puedes verificar que tipo de memorias tienes, marca, voltaje, latencia, ahora dices que te la trajo una empresa, si es una empresa conocida dudo mucho que le metan mano a los equipos, claro que si es una ilustre desconocida, te cobro muy barato y se tomaron 15 días en traértela
finalmente para descartar que el equipo sea un reacondicionado o refurbished supongo que bastaría con que te contactes con HP y le des el serial del equipo.