I knew the name Stapleton Grove, but forgot to look for it when I was in the city last week. It sounds rather fine. The other longtime Castle family residence is Grove House in Clifton (Cornwallis Grove). Very grand, all flats now of course. Does Stapleton Grove still stand?