“Is this pen compatible with the HP Pavilion 15t? If not, is there a stylus it is compatible with?”