Send a message to TIP-TOE