who know anything about 9-man football?