Hi Hector,
Many thanks for the advice, I would be lost without it.
Do you know how important is it to get the exact part number? Because the 'GX80N07825' seems to be expensive (£75)
However, I have seen a 'Lenovo Active Pen 2' for a significantly cheaper price of just £45, but it has a different part number (4X80N95873).
Lenovo Active Pen 2 - £45
The Lenovo Active Pen (No number 2) seems to be cheaper still at about £35, but I don't think I should risk that as the PSREF you kindly provided did specify the 'number 2' model. Lenovo Active pen £35
Thanks again for any advice you can offer