Gump's got to be 94 or 95 by now. We may not hear from him again. I wonder what Tsxminer is doing these days? trade15