I understand that there are generally two major manufacturers of 10rd. magazines for the M1 Carbine. I've heard that one brand keeps the bolt open after the last round is fired and the other brand doesn't. Can anyone clarify which brand is which? Thanks.