Use a meat thermometer on the crab if you're unsure about the doneness. I overcooked mine cause I kept waiting for some parts of the shell to turn red (they never did) :(
Great recipe otherwise, extremely easy yet incredibly good. If seafood was cheaper I'd be making this every week.