What is the largest columbian red tailed boa?

There isn't a Colombian "red-tailed boa" (red-tailed boa was adopted for all similar looking boas to make them more appealing to customers, "true" red tails are called BCC or Boa constrictor constrictor the most common boa constrictor in the pet trade is called BCI or Boa constrictor imperator. BCC's have MUCH brighter tails), but the longest boa constrictor I've heard of was 12.5 ft. I'm not sure if she was a Colombian boa constrictor or not.