Is $9,150 to demolish and fill in a pool a fair price?

I have a 16x38 in-ground liner pool, approximately 23,000 gallons. My main concern is that I will have to deal with the pump and filter disposal on my own, whereas a quote from last year included disposal. I bought my house about 5 years ago. We purchased an elephant cover for the pool, and I need to replace the pump and either the sand or the entire sand filter soon. We installed a cheap pool fence last year and drilled the holes in the concrete ourselves. I also bought a dolphin robot vacuum a few years ago. I don't know much about pools, and with the cost of opening/closing, chemicals, and other additional expenses, I feel it's a waste of money and would rather pay to get rid of the headache. I was hopeful for a similar price to an old post where someone relatively close had the same job done for $9k a year ago. This quote is from someone my cousin is friends with who does digging and grading professionally. My wife reached out to a local company specializing in pool fill-ins, and they quoted between $10-20k for the work.