There was some mention of the VEX Hall of Fame at the Friday morning awards session. Can someone post the details about it?