If it happens again this stuff is good because it’s slightly sticky:-
https://mcru.co.uk/product/mcru-stylus-cleaning-putty/?v=79cba1185463
I would also take a nylon bristle model brush to the red magnet to remove the build up there also.
https://mcru.co.uk/product/mcru-stylus-cleaning-putty/?v=79cba1185463
I would also take a nylon bristle model brush to the red magnet to remove the build up there also.