I'd say the pressure washer is a great idea, and to do it several times with plenty of detergent and then power rinse. The more times the better, and from every angle possible. I think that when summer time comes and the humidity gets real bad again that you'll see more rust spots come along than you will during the winter. Do what you can now to slow the inevitable.
I also like the shellac idea to slow down the rust. No matter what you use you're just sealing in the remaining salt and trying to keep out the oxygen. I would not use WD-40 unless you plan to use it once a week. You'd have better luck with motor oil, or better yet
LPS3 , a waxy, spray-on grease made to stick, seal, and prevent rust. It's good stuff.
I would strongly consider degreasing and sandblasting as much as you can when you do get ready to paint. That's really the only way to get down to fresh metal without just sealing in the salt. Prime with a good epoxy primer before painting. Do not use Ospho if you use the epoxy primer.
On the other hand, the cast parts will probably last a very long time even after the saltwater bath. Perhaps your main focus (after the pressure wash cycles) is hose fittings and sheet metal. Your houses are certainly the better investment for you (both time and money), so I think if it were mine I'd just use the shellac wash and then LPS3 on unpainted parts, then drive it until it rusts out from under me.
Good luck!
- Just Gary