rental with non-functional pool

[Sun Kim]

I am buying a primary residence, and in 2 or 3 years, converting to a rental.  The current owner bought the house with a pool and has not used it in 20 years.  The cost of the repair is$27K and don't want a pool either.  The pool does hold water and is not cracked, but looks to require some maintenance.  Is it advisable to leave the pool as is, and save the fill cost of about $12K, or just fill it from a liability stand point?