Right - that's what I figured. And now I see that the iTunes-synced track files do, in fact, have extensions, too. I guess I had previously looked at them in the Finder on a Mac, with the Finder preference "Show all filename extensions" unchecked. My mistake - I apologize.
Thanks for your reply.