Hi all.   Getting back on a cruise for the first time since Feb, 2020 and will have a special person in my life coming with me for their first cruise. I want to treat us to dinner at one of the specialty restaurants one night and we both love steak. However I'm reading that the filet at Chops is not as good as it used to be. We are on Harmony, so there is no Giovanni's table. Should I stick with Chops like I originally planned or go with 150 Central Park or Jaime's?   Thanks