Fan bearing lubricant was Re: WD-40 (again)