UPDATE: The side vent flow is only coming from the larger regular system section and not the smaller defrost section on top, so there's no flow through the defrost system at all, in spite of having set the fan on high. Actually, with the fan running on lower auto setting, the fan does notch up...