So you are doing a reheat? .... Your crabs have already been cooked when you got them?
As a taxable magnet on the west side; I will say that it's nearly impossible to get uncooked crab at any 'outlet' store. I can get them at Pike Place, or maybe somewhere at Fisherman's wharf (where the boats dock). It's simply because the meat will spoil easily within a couple days if not properly cared for.
As Ratty said, Kings are always cooked prior to sale, Dungeness is most likely cooked as well. The way to tell is by the color. Uncooked Dungeness crab is pale greenish in color. It only acquires its reddish color when cooked, as opposed to its much smaller (yet as much tasty) red rock crab. These can only be had by self harvesting. Forget about kelp crab as there's no appreciable meat in them.
As far as smoking them; there's virtually no flavor added in the process. 99% of the meat is covered by shell. Smoke isn't going to penetrate that membrane.