Red Robot also once fought pre-Mayor Tim, or possibly a robot duplicate of him, depending on which account you believe.