That pretty much is the setlist.  Only they played Prophecy instead of Judas Rising and they did not do One Shot at Glory.  Oh, and no Nostradamus.