Ok, this is really weird. NOW the numbers agree!!! I must have synched the darn thing 10 times today as I tried to see what was going on, and each time the result was the same, with a ~3k diff. Now, literally as I was composing my last reply to you, it finished the most recent synch and now has all 14112 songs listed on the iPod.
I must confess I am baffled.
Eventual Master of the Obvious
Such a long, long time to be gone, and a short time to be there...