After driving around for awhile, I have observed that: A. the noise is not getting any worse, and B. the car still drives/shifts perfectly. So I have decided to ignore the noise for the time being, at least until it gets noticably worse or the gearbox explodes, whichever comes first.
John