As far as I understand it, the wacom driver reports the different pens by the serial number of the pen. They still report through the STYLUS and ERASER devices. I do not know what tools can demonstrate the change of the pen.
As long as the art pen gives you basic functionality, I'd suggest checking the linuxwacom-discuss list for advice on testing and using it. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org