[bob jenkins]

I have used both approaches. It depends on how obnoxious the fan is, whether others already know what the fan is doing (or whether it's a quiet statement to me), how quickly I want the fan gone, where game management is, etc.