Dehd in Miami at Gramps on Tuesday, October 10, 2023.