I don't think we have their number(s). I'm fairly certain that the number for Gary, on some older PRs, no longer works, and I don't think we were ever given numbers for anyone else.
And if it's true, I sincerely doubt the company would give a straight answer concerning it. They could spin it as a reorganization, or just say that the people in question are no longer with the company, and leave it at that.