PJRC's "corporate headquarters" actually are in Portland. I could drive there in about 30 minutes if they have a retail outlet.
I thank you kindly for the generous suggestion, but I would not wish to put you to such trouble on my account.
Getting hold of one from a nearby store may be easy enough, but then getting it all the way to me is a whole ridiculous nonsense that can easily end up costing much more than the item itself. It should be "post-able" in a padded envelope as a very light item, but because the value is more than a few pounds, it hits a wall of paperwork and fees that were the last ditch admin rapid setup after a Brexit débâcle.
If nobody else says it, then I will. We were promised the bright trading future, both with European nations, and US /Asia / Pacific Australasia. The reality sucks, and I fully account the effects of COVID and supply chain problems in saying this. At the present, stuff that arrives in container ships at minimal cost because of bulk scale loading, mostly from China /Taiwan, has increased in cost a bit, but not markedly, with certain major exceptions. Everything else is a import organizational mess!
If you are really after a Linux SBC you might want to take a look at offerings from Hardkernel. They have some pretty good stuff but it's going to be more expensive than an RPi. Last I checked their 8-core SBC was running about $53, and that's without a memory card, which you need for the OS. They have a bunch of GPIO's brought out to connector pins but I can't say whether or not they're siimilar enough to the RPi to meet your requirements. The 8 cores are divided into 4 A15's and 4 A7's. System clock is 2GHz.
I had in mind to get the PCB done with tracking to allow as much experimenting as possible. The circuit would use links to be able to have the low noise TIA, with ability to change components to set various gains. have an ADC - or not, Have a window comparator trigger available - or not. Have deep notch 50/60Hz rejection - or not. The plan is to have three button cell lithium battery mountings. One can have 3.3V, or 6.6V or 9.9V for low noise bias sans switching regulators.
I plan to have the PCB made as as many as I can fit on the standard minimum board (12" x 12") on step-and repeat. Then I can post them off to the members that want one, and feel able to get some components on.
I thought to have ready-made connection areas to mount Raspberry Pi Zero-2W.
That same GPIO can also mount any other Raspberry Pi, either direct on header, or cabled to a separate mounted Raspberry Pi.
Then also, connections for a Teensy 4.1, or perhaps some connection setup to best suit Teensy of several sorts, if compatible.
Allowing for the more available Beaglebone was also in mind.
I don't yet know the kit from Hardkernel, but I see ODROID C4 at $54, and an apparently much higher performing ODROID-XU4 which comes standard with mounted fan for a special offer of $53.
These are my "I would like it to be" notions. Right now, I want to first continue the first build to test and prove the TIA analog stuff, and capture pulses. I don't yet have the mechanical mounting for the smoke detector sources as envisaged in the first CAD model. I was thinking to go for something simpler and easier to make, with the sources facing straight forwards.
I'm using one of their XU4's as a media server and it works a treat for that. I have a couple of their lower performance boards as well, one is being used as a print server for a photo-quality inkjet printer and the other is a DIY call blocker. It listens to the incoming phone line and if the phone number or caller ID are on the blacklist it picks up the call and then immediately drops it.
I have had a Raspberry Pi 4 hooked to 500GB SSD overkill working as my mailserver for some years now. It can also do webserver, but the space is mostly useful to let folk download big files unsuitable for email, or display the videos I put there on a browser. The network it is on is only about a metre from the fibre-optic modem.