Sorry about that. Did a search and didn’t see the prior.
No problem, great thread w great comments!
Hey, it’s George Washington’s Birthday — NOT Presidents’ Day — so all is forgiven.