Thanks for your comments.
Paul, the wavelet settings I used were 4-30, 5-40, 6-50. I tried not to hit the wavelets too hard for this intitial run.
I will reprocess no.3 & 4 using ppmcentre and possibly some deconvolution. I might even try an RGB split and see what comes of it. Where do these planetary guys get the time for all the processing?
I didn't mention in my first post that I was using my 10" LX200GPS and 2.5x Powermate (but now I have!). Also, my dew heater was on quite aggressively, as it was a bit dewy.