Red Rocks concert recorded??

I wonder if the band's historic concert with the Colorado Symphony Orchestra was recorded.  That would be great for all of us around the world who couldn't be there.  

A suggestion: if it was recorded it would be a great choice to be Chicago XXXV. Just imagine that!

Can't hardly wait for O Christmas Three!

Chicago to South America, please!!!