Hi David,
You should be able to distinguish hot pixels in the non-debayered frames. They stand out like the proverbial canine testicles

They'll look like single bright/white pixels.
However, when they get debayered their erroneous data, depending on the debayering algorithm chosen, 'bleeds' into the neighboring pixels, making them look much more like stars.
I can see one ore two definite hot pixels in there, but not sure about the others.
Another thing you can (should!) do is 'dither', shifting the image slightly between subs, so hot pixels get 'spread' over the image, making it easier for the stacking algorithm to pick out and eliminate.
Hope this helps!
Ivo