When do the paprika and crushed red pepper come in? I'm assuming they should be part of the shrimp sauce?