John R. Hogerhuis Thu, 23 Jul 2020 20:48:26 -0700
All covered. Future discussions of this topic off list, at least for now.
Thanks, -- John.