(Panamá, año 2,500) Luego de las múltiples quejas de humanos, androides y panameñistas por el mal servicio de los AeroBuses, el Gobierno Nacional ha decidido que los "diablos rojos" circulen una vez más para aliviar la demanda de pasajeros. Los diablos rojos que ya tienen casi 600 años circulando en Panamá estarán circulando para todas las rutas de la ciudad en horario de la mañana y tarde mientras los diablos rojos de la provincia de Chorrera seguirán circulando en su horario normal.