Did randy Allen die?

yes