Does anybody try to use toner from ricoh 7100 in ricoh 751?