I decided to give the longer strut a try.
I bought a pair of 20"/40lb struts (which are about 2-1/4" longer than stock), so the force that a single one has is about 20+lb. Closing the seat does not require collapsing the strut fully, so there is no problem with the extra length. And the force is not enough to make it hard to close the seat, but it is enough to lift the seat by itself.
And the bonus is it opens the seat ALL THE WAY UP.
Second bonus, the PAIR of struts cost me $17 on Amazon instead of the $38 it would have cost for the SINGLE stock strut.
Here are pics:
Old strut
View attachment 254279
New strut
View attachment 254280
Here is a link to the struts I bought -
https://www.amazon.com/dp/B099F5RM4F?ref=ppx_yo2ov_dt_b_fed_asin_title