Option 1 shouldn’t be 25k, I won’t have a house without a pool but that’s me. A handy DIY’er could fix that pool for under 10k. Liner out, run new return, repair walls, vermiculite bottom, install new liner. Then I would tackle the existing patio. After repairs are done a new liner will last...