I know pinkie mice are bred to feed reptiles, but how are they killed?

Could be Flash Frozen as well, that's how i figure they were done in, But the Co2 Makes a lot of sense as well, much more humane.