So sad to hear this. Hard to imagine anyone else playing Dr. Alan Grant in Jurassic Park.