Попробуйте обратиться в центр компетенции ТЕКО. У них есть более-менее опробованные варианты (с их слов) для заправки серии 3051сi_3551ci_4551ci_5551ci. Если не ошибаюсь - там идёт продукт Boost 4.0 (сам картридж, с чипом), или, можно выбрать Boost 3.0 (сам тонер - для самостоятельной заправки, чипы отдельно докупать, по фасовке - не понятно). Также уточните про девелопер - машины 2-х компонентные, вроде. Может всё это подойдёт и к вашему семейству.
Удачи!