The party would have flunked anyway because no one really queues for alex floors in progress (since they typically tend to be traps and well...the instance itself has no trash mobs to warrant inprogress) It was a matter of letting the healer go without any repercussion or having the entire party stay the extra time. Either case, what the healer wanted to do was douchebaggery, and really should not be encouraged, let alone allowed. A collective player report would often go far too, since this is considered player harassment.