Nice. Which software do you use to clean up the ISO?
Note: I'd hate to run into any Mad Ants.
I use various Photoshop filters and noiseware steps on each color channel to reduce noise while trying to preserve detail, then a final round of filters on the rgb channel. Once I have a recipe that works for a noisy 6400 image, I record that recipe as an action and run it on all files from that point forward, no masking or manual intervention.