and the two ssds, one in the wwan spot meaning you remove wwan... plus adding one in the usual spot? Both with 250 gigabytes.
As for the rest, I would have one laptop, have Devuan, one have Hyperbola.
Although, I am wondering if its possible to have each have FDE + /boot or if the bios chip would get in the way.
If that is so, I would just use FDE - /boot
How much would doing all that cost you think though? That's what I am curious about. Someone from your staff did say that two ssds was possible in an email. If you get rid of the useless wwan thingy.