@patrix It has been 25 years since I last visited UT. It was June 1996 when I was there to move my wife after her PhD.