Is $8,000 to replace 2.5 ton R22 system with Goodman 15 SEER2/80% furnace a fair price?

My old 2.5 ton R22 system is leaking to the point where I have to add a pound every couple of months. I’m looking to get a new system put in, but I’m a little worried with the availability and reliability of R454B compared to R32. Few people in my area deal with Goodman/Daikin so most all options are R454B. I got one estimate for a Goodman 15 SEER2/80% furnace for $8000 installed and another quote for a Carrier 16 SEER2/80% Furnace for $8800 installed. Between the two, which would you opt for? The Carrier models provided to me were the following: 58SB0B070M14--12 furnace, 26SCA530W003 condenser/compressor, CAAMP3017AMA evaporator. Are these considered main line Carrier?