Does anyone have (or know of) any (possibly used) Soekris or PCEngines' WRAP or ALIX systems they'd like to get rid of?

I need a small, fanless system to provide a single function, and definitely would prefer to run OpenBSD on it, and it needs to run headless... so I'd prefer one of the above-mentioned systems, if anyone wants to sell. It's not a demanding application, even the old net4801 boards should be good enough.