I'm sorry to hear this. Rest in peace Art.
G greentick New member Aug 15, 2020 #62 Just caught this. RIP Art. Always liked reading his commentary. Blessings on his family.