Excuse me, there seems to be some confusion here. According to the usenix site, there will be recreation at Six Flags Fiesta Texas, which *IS* located at San Antonio. Not at Dallas/Fort Worth Six Flags. Not at Houston Six Flags. Not at San Antonio Sea World. -- Robert