Al final me respondo solo... no pasó na... llene el estanque con 97 pa disolver más la cuestión...
De todas maneras, después de consultar en la Red, sin que apareciera nada específico, pude cachar que el punto clave es la concentración del condoro, y que no se ponen de acuerdo en qué es más grave diesel en bencina, o bencina en diesel.