No, puedes usar los pimientos que tengas disponibles o prefieras, aunque los tres tipos aportan un bonito color y diferentes sabores al plato.