Thanks Serendipidy, I only use DPP and checking I see a little sharpening and I've bumped the NR from default 6 to 8 out of 20 - really not much. As stated I find the shot disappointing becasue of what it might have been rather than knocking ISO 10K. I guess it comes down to basically, is the composition worthy enough to accept the grain and lack of sharpness??
Here's one in the sequence where it is totally untouched and I see the ISO was up to 12.8K, and it shows!