Can't tell if they're a paying customer, even using barter. They would be a huge customer, they have an untold number of attorneys and admins and sub contractors (proofreaders, etc.) who should all be using SF software. And they were on contingency.