Except one of the amendments to the TOS added an arbitration clause. So the dismissal is likely without prejudice to arbitrating (which he could, but won’t do because I doubt he wants to shell out the filing fees and costs); probably something like a state law equivalent to dismissal under section 2 of the FAA.. The…