Oh Willie, I am so sorry to hear this. I hope he did not suffer. RIP dear Mario.