Thanks Rat, good to know. I also have ordered them, but this thread starts with an admonition from Robin that PJRC has distributors, and of they are not on this list then they may well be not legit (i.e. PJRC does not get funds from the sale).
Since I want PJRC to keep making Teensy 4.1 I am...