Or you could just take the advice I listed above. Assuming Colt parts/spec, my response to his question is the correct answer per the sources you suggested.
Edit: some of the sources. I cannot speak for Ken Elmore, but I have done my research on the OEM side.

