Thanks for the suggestions, folks. I have to say I'm too burned out on installing various odd scripts and such to try any more command line utilities right now.
I have discovered that Mobipocket Reader does a pretty good job - I import the PDF (after somehow causing it to lose its DRM protection

) and it's converted to PRC. And then, I send it my Blackberry Storm. Hooray! In one case, the headers were magically gone, in another case there is a single odd number line (1.1, 2.2, etc) inserted a bit after each chapter starts.
If I want to read the book on my Sony PRS-500, it should be simple enough to convert from PRC to LRF using Calibre.
I should also install Mobipocket Reader, as suggested, and try that if I run into trouble.