Earlier quoted context omitted.
It sounds like they had put some thought into which methods cause the least suffering. It doesn't sound like they were trying to skirt the edge of what the ethics committee would allow, which is how I read your comment. Please let me know if I have misinterpreted. As to possible alternative methods, those include freezing, which could be quite prolonged and painful, and blunt force trauma, which could be difficult/am…
Your assumption is that the mice must die. Given that its the case, you then wonder about the most effective means of killing them. But, pushing back on your assumption, what value can there possibly be in killing baby mice?
I expect I don't need to explain why it's best to kill the mice humanely for medical research which involve dissection of some sort.
For snake food, it's best to feed mice that have been euthanized. Feeding live mice is cruel to the mice, who experience terror right before death, and there is also the possibility that a struggling mice could injure the snake.