The tip of the much-battered stylus useful for websites presenting tiny phone-hostile buttons appeared in the laundry basket, narrowly avoiding a trip through the washer. The shell’s original all-around swaging had evidently loosened enough to release the tip, so I applied a hammer and punch:

The punch mark (with another on the opposite side) is barely visible, but holds the tip securely in place. Next time I may need more hammer.