Willie, I'm shocked and saddened to hear of the passing of our beloved Mario. He is/was a true PT icon and PT will never be the same without him.

RIP Mario. You will be sorely missed.