Absolutely a red card. If he was just 'taking one for the team' to stop a counter attack he could have just clipped his ankle or pulled his arm. But this was an aggressive lunge which could have injured the Spurs player. & the ball was so far infront of them I assume the ref basically treated it...