Topton vs Protectli

New hardware time. I've been using an Aliexpress special for around eight years. No real complaints until recently; six months ago it started randomly rebooting, errors on SSD. Then over the weekend it just died. No video output, no BIOS beeps, just dead other than power LEDs, so time for something new.
Old kit looks like a clone of a Protectli FW6C; six gig ports, i5 7200, mSATA storage so I figure anything newer would be quicker\more power efficient. I've come down to one of two replacements:
Protectli VP2430 (https://eu.protectli.com/product/vp2430/)
Topton mini PC thing (https://www.aliexpress.com/item/1005010292814013.html)

Prices are similar. The Topton's 2x10Gbps SFP tempts for futureproofing, but Protectli's European warranty and BIOS support also is a strong draw.
Any strong opinions either way?