An update to all: Getting rid of dust from the headphone jack did, well, jack. The problem continues to happen periodically. I find that if I swap to a different set of headphones the problem goes away, and then a week or so later I can return to the other headphones. Not a particularly...