Christian,
Thanks so much for the feedback. I think I might also be able to write the function to run wp_autop() on incoming syndicated post -- there is a hook in the syndication plugin for processing incoming content, so that might work.
But this definitely gives me some ideas of where to start looking.
Best,
Martha