Phil the record guy dead?

I just saw on another website that the actor who played Phil died. I guess he died a while ago and it wasn't reported on. He was the guy that plays the record for his friend in the tank at the end of the movie. He was really cool. Sad....