Thanks!  I let the wallet sync for a while and eventually my BTC showed up.  Whew.  At least I know they're not lost.

Haven't tried dumpprivkey yet.  That and the rest of the steps you mentioned are technical enough that I'd probably screw them up somehow.  For now, I'm happy to know that I still have my BTC.

Thanks again.