“What replacement pens work for this computer? My old pen is dying, and I want to see if it's possible to get a better pen. Will any pen that works for a 15-DF[XXXX] work fine? What about 15-BL[XXXX]? Should any HP pen work?”