I'm trying to figure out if either product has been release for the Ricoh 8110S. My vendor is telling it's not available and EFI says different. Thanks