what kind of sleeve do you use for sleeving the fan ?? how many mm of diameter ??