John Petrucci in Orlando at Hard Rock Live on Sunday, October 23, 2022.