Is all well in Rob DeSantis's campaign?