as Henchman
as Tomas
as Richard Hunter
as Martinez
as The Sergeant
as Marco
as Lt. Hans
as Miguel
as Pedro Gonzalez (uncredited)
as Mr. Johnson
