What's the diameter of the standard fan? Looking at buying a slim line one but can't get to the car to measure the fan.