Question: How do you cook pre cooked Dungeness crab?