Eating at Joe's Stone Crabs during offseason?

I am not from Miami but was hoping to visit. I was at Joes more than 20 years ago and my recollection from back then (which could definitely be in error) was that they only served stone crabs during the season. I was just looking at the online menu and it says "Available year round". I assume that these are frozen? How are they? If I am in Miami right before the new season starts in October, is it a bad idea to get stone crabs?