The Domain RCs are good, other than the weight they’re pretty comparable to a Boxxer RC.
Older boxxers are also still good- you get the slightly older motion control which does feel a wee bit dated but does the job, and you can get a decent set for not much money.
I’d suggest a third option… Find a set of used 35mm Boxxer Teams/R2C2s (coil-converted Worldcups are basically the same thing but tend to be cheaper, that’s the direction I took). The R2C2 damper is just plain better than the RC, but also, it’s really easy to work with so you’ll get a good result easily- which all amounts to less wasted ride time. It’s not like an XC bike where you can fanny around with it over the course of a 20 mile ride, you can only set up a big fork when it’s working hard.
888s… Are confusing. Hard to tell what’s good, what’s bad, what’s from the right eras of marzocchi random quality. I would have gone for an RC3 but couldn’t find many when I was last fork-shopping.