Growing up on a beach deep in area 13, there has always been huge numbers of rock crabs down there. Since I have found larger rock crabs in other areas, I have wondered if they were stunted by there numbers all at the same size. We would wade out with flashlights and waders in the winter 30 years ago and it was easy pickings. I never caught the first Dungeness I have seen there until years later.
They do fish for Rock crab commercially. Check out this video:
https://m.youtube.com/watch?v=T5BdemwSq0g
At 14:00 He removes the claws that are sold at Casinos and sends it back.