Plastic Coping Removal and Raising Concrete

Hello
We have an older IG pool that came with our house, we have made great use of it, if the pool liner needs to be replaced we are then looking at taking off that old plastic coping. The concrete around the pool is uneven as well, not terribly bad but more spaced out than uneven. Has anyone tried Mudjacking by a professional, removed coping etc. Or is it worth it to remove the concrete. The pool owes us nothing and we will be selling in 4 years time, we just don't want to sink a great deal of money into something that is only used 3 months out of the year and would rather spend the money on improvements/updating inside our home. Thoughts? Advice? We are in Ontario Canada, hence the pool use only 3 months out of the year.