I've never really pixel peeped before, but I was feeling bored, so I started to do a few test shots for fun. That's when I noticed this (OOC JPEG, picture control "neutral", 100% crop from near the corner, ISO 200, f/22, 15s):

I thought I saw some faint banding, so I took a frame through a brightly lit piece of paper (WB adjusted for neutral gray). This one is 3 stops underexposed (OOC JPEG, picture control "neutral", 100% crop from middle, ISO 200, f/8.0, 1/10s).

I'm fairly certain there is banding there. I did not do any adjustments to the image at all. I took another few random scenes around my house and I could see banding in dark shadows. I was just wondering if this was within specifications, as I have not seen any other D3s images with this problem at ISO 200.
I also noticed this:

It's a single red pixel, 1033 pixels from the left, 664 pixels from the top. It appears most obviously in every shot at ISO 3200 and above, but shows up only in exposures 1/5s or shorter. I suspect at 1/4s and slower, it's removed by in-camera NR. I'm fairly certain this is abnormal behaviour.
I'm just wondering if I should bring my D3s back to Nikon and have it replaced. The hot pixel can be removed in post, but it's an extra step (I feel) I shouldn't have to do. I'm not too sure about the banding, though. It could be something I'm doing wrong, although I can't see where I could be messing up. More importantly, it's very hard to get rid of (as many 5D Mk II owners will readily attest to...).