That is sad news, Ben.

My condolences to Dave's family and friends.