The little lounge keeps you cool. --- Actually, it used to be the same size as the bigger lounge, but aggressive downsizing by the establishment has contributed to inequality and the uneven distribution of cold air. Clearly, the only response is revolution, i.e. more fans going round and round. Of course.