Send a message to Doc Lean