A disabled bus has riders aboard. What is the safest rule for towing or pushing it?

1. Do not tow or push it with riders aboard unless getting off would be unsafe
2. Tow it to the garage with riders aboard to save time
3. Push it with another bus as long as riders remain seated
4. Tow it only if the driver uses the brake-door interlock