I'm posting this based on the discussion to try sales in this section.
I've replaced these with R7800's for myself and friends. I have 4 available.
They've been re-flashed to factory firmware. They all accept OpenWRT, serial numbers start with 214 or 215. They are in great condition cosmetically and have been running stable for 2+ years.
The power supplies are not original. I'd prefer to use Paypal with buyer/seller protection (Paypal verified address) and I'll use USPS priority flat rate for US addresses.