Dry mustard - whole seeds or ground?

Since the recipe mentions simply dry mustard, I would take that to mean ground mustard, such as Coleman's. That said, I have a feeling that mustard seeds would add a wonderful layer of flavor.

Ground