I love the history and handling of vintage English doubles. My budget wasn't 10k, but I went through this last fall and ended up buying a Spanish gun at the top of my price range. For me, it was a bad move as I just didn't have as much pride of ownership in it, even though it was a very high quality gun.
So, if I had $10,000 I would look for a vintage English double that fit me well. I would not restock, both because it would loose some of the historical feel I enjoy, and because it would chew up 4-5k of the budget thus limiting my options. But ya never know, the perfect gun with a poor condition wood might be out there
