Corn and Wild Rice Chowder

Name: Corn and Wild Rice Chowder
Ingredients: 1⁄2 cup butter; 4 cups onions, diced; 2 cups celery, diced; 1 cup carrot, diced; 2 garlic cloves, minced; 4 cups red potatoes, peeled and cubed; 8 cups chicken stock; 1 cup flour; 2 cups wild rice, cooked; 3 cups corn, whole kernel; 2 cups milk; 2 cups cream, heavy; 2 tablespoons hot pepper sauce; thyme, pinch; salt and pepper