...and they haven't gone down in price, even though they're years old... I'd be more inclined to try an Orange Pi 5. For $50 more than the Pi 4, you get twice

...and they haven't gone down in price, even though they're years old... I'd be more inclined to try an Orange Pi 5. For $50 more than the Pi 4, you get twice the memory, eight cores that're also faster, PCIe m.2, full size HDMI, and more. The Orange Pi 5 Plus is neat, too, particularly with dual 2.5 Gbps ethernet, HDMI in and out, and so on.