Question: I have heard that the role of Bloody Mary was dubbed in this movie. Who dubbed her, and why isn't that person listed in the credits (given that Giorgio Tozzi, who dubbed Emile de Becque, is credited)? Also, were Nellie and Lt. Cable dubbed? Again, no one is credited, but their singing voices sound dubbed to me. Can anyone shed some light on this?