Wound up getting a pair of inexpensive ladder chains. Ladder chains suck for driving far or fast, but these are emergency chains. $75, weigh 28 lbs, come in plastic-lined cloth bag, and fit in the compartment.
https://www.etrailer.com/Tire-Chains/Glacier/PWH2228SC.html