Home Equity Conversion Mortgages ("HECMs'') implicitly bundle put options on borrowers' homes with non-defaultable credit lines. Put proceeds are bequeathable and insure longevity and home prices. Credit use is elective, so the put's expected net present value bounds HECM's value to borrowers...