If football became 13-a-side from next season, how would the various managers use their extra two players?