Does anyone know if the Jordan Leen from Tennessee @ 130lbs. is Mark Leen's son? Leen used to coach at Garden City Juco and was the Chattanooga coach for a while.