Maybe. I wasn't there.
All I know is that I've sent my entire crew home (my self included) after we were on a deadhead that had to shut down an engine due to oil problems.
Ain't nobody got time for that.
@BobDDuck Thanks. Seems like a very good policy.