Yup, ultimately it's not that big of a deal, but it eliminated some creative options as these costs erupted. I wish they pivoted to doing the 8 Ave subway for red line, and ran the SE as HF trains down 7th (after interlining with red line under the CPKC tracks). Timing would have even lined up...