“For the included garaged pen, is the pen tip replaceable? If so, where can I purchase the pen tips when it wears out?”