To answer our moderators question, when would it be appropriate to divert to deplane a crew member? Same as a passenger, when violence was involved and if the threat couldn't be contained for the duration to normal destination. Highly unlikely in this scenario.

Also, might want to add that some United captains were hired in the spring of '85 because they were current and qualified and went to work during a time of labor unrest.