Paella with Wild Mushrooms

Name: Paella with Wild Mushrooms
Ingredients: 1 pound assorted wild mushrooms, cleaned (see Notes) and cut into pieces if caps are larger than 2 inches; 1 teaspoon sweet pimenton; 2 garlic cloves, finely chopped; 2 pinches saffron threads (about 20 total), lightly toasted and ground (see Notes); 3 cups short or medium grain rice; 4 ripe medium tomatoes, peeled, seeded, and finely chopped or coarsely grated (see Notes); 6 tablespoons extra virgin olive oil; 7 cups Vegetable Stock or Chicken Stock; Salt