How Rich is “Mexico” John Witherspoon?