How Rich is Randy Cox?