HP ENVY x360 15" Intel i5 Full-HD Touch Laptop

What is the full model number of this unit? Need to know to figure out what active stylus to get according to this page: https://support.hp.com/emea_middle_east-en/document/c05166879

HP ENVY-X360 15T-BP100

And the compatible pen is available on our website: https://computers.woot.com/offers/hp-pen