So sorry to hear the sad news about David. Although I hadn't met up with him for over ten years, I have such great memories of our time working together at DEC. Mike Chamberlain.
