Oh no. I did not know him, but it's a shock anyway. Rest in peace Phred.