I never had the pleasure of meeting Tone but my condolences go out to his family and friends.

Tom