“Does this pen work with the HP Envy 17m-ce1013dx? product number 7PS43UA#ABA, serial number 8CG0020067 Thanks!”