Very good. You are right.
Dang! We’re old!
Trivia? I refer to it as Bigg Red’s (but using my real name) Encyclopedia of Useless Information. I remember the oddest things sometimes.
MarQ