Trent Reznor wins his lawsuit.