Entscheidend für mich wäre:
a) für welche Menge ist der Originaltoner angegeben und für welche der auf ebay?
b) Welcher Drucker überhaupt.
Prinzipiell sind original Herstellertoner immer verdammt teuer. Nächste Stufe sind dann welche von Drittanbietern und zuletzt dann die nachgefüllten, die sind meistens am billigsten und aus eigener Erfahrung kann ich sagen, oft kein bisschen schlechter.
Ich denke für 13€ kannst du den Versuch sicher starten. Sollte halt defintiv auch passen, aber das merkst du ja. Wenn er dann nur 5000 Seiten hält hast jetzt für 13 Euro auch keinen Fehler gemacht denke ich!