Turns out they were not cooked just frozen. So into a boiling pot with a bit of salt they went. Like shrimp, they went in dark brown/black came out red. Dunno what causes the color change, but I always find that kinda neat.
If you ever find yourself in this situation again try to get a hold of some OLD BAY Seasoning. It is cajun sort of seasoning that you just dump in the water with the crabs. Mmmmm Mmmmm.