The trademark infringement claim is interesting. Is there any precedent for a company doing something like "Redis Service" or "Coca Cola Reseller" and getting away with it?