Is the 7-20-05 Red Rocks show going to be released commercially?

[DavidMn]

For those of us that were there, they had all kinds of signs up that the show was being taped. Now I know that every show is recorded in one form or another, but here's the rub: Ive heard several versions, one is that this is going to be released as Red Rocks 2, the other is that it's going to be a compilation of songs from the entire, and of course that there's going to be nothing at all? Am I right on any of these?