Da MiniLops und das Alter stark nach Züchtertieren klingt, würde ich den letzten Halter auch zumindest informieren. Wenn deine krank sind, sind da vermutlich alle Tiere krank, da hochansteckend. Kokis können besonders bei sehr jungen Tieren oder gar Babys unbehandelt absolut lebensgefährlich werden. Wenn da vor Ort noch mehr Tiere leben, sollte da gehandelt werden.