Mini Mushroom Pies

Name: Mini Mushroom Pies
Ingredients: 1/8 oz. package button (white) mushrooms, sliced; 1/8 oz. package baby Portobello mushrooms, sliced (or 16 oz. of either, of your own choice of mushrooms); 3-4 shallots, sliced (or one small onion, chopped); 1-2 tablespoons fresh thyme; 2 tablespoons dry sherry; 2 teaspoons white truffle oil; 2 tablespoons butter; salt and pepper to taste; 1 stick cold unsalted butter, cut into cubes; 1 1/4 cups all-purpose flour; 1 teaspoon salt; 2-3 tablespoons cold water