Farmhouse Turkey Hot Dish

Name: Farmhouse Turkey Hot Dish
Ingredients: 2 whole turkey legs, cut into thighs and drumsticks (4 pounds); 2 quarts chicken stock or low-sodium broth; 7 tablespoons unsalted butter; 2 small carrots, chopped; 1 celery rib, thinly sliced; 1/2 small onion, chopped; 1/4 fennel bulb, chopped; 1 teaspoon dried thyme; Pinch of freshly grated nutmeg; 1/4 cup all-purpose flour; 1/2 cup heavy cream; 1/2 cup thawed frozen peas; 1/4 cup minced parsley; Kosher salt; Pepper; 1/2 pound mixed mushrooms, such as shiitake caps, cremini, white button, chanterelle and oyster, thinly sliced (3 cups); 2 leeks, white and light green parts only, halved lengthwise and thinly sliced; 1/4 cup chopped tarragon; One 32-ounce bag frozen Tater Tots; Flaky sea salt; Hot sauce (optional)