Yes Gina, your recipe for the deviled crabs is correct. However, instead of using crushed red pepper, we used a few splashes of hot sauce! I grew up in Tampa and these deviled crabs are great!