If a railroad crossing signal appears to be malfunctioning and no police officer is directing traffic, what should the school bus driver do?

1. Call the dispatcher for instructions
2. Drive around the gate after checking once
3. Let students vote on whether to cross
4. Disable the warning lights on the bus