Wanted: advice on pricing AXS groupset

Please delete if this is inappropriate/breaks any rules.

I am contemplating changing out my AXS for Campag. Reasons: I prefer the thumbshifters, it would give me the same system between my 2 bikes, and I'm increasingly not a fan of having more stuff to manage/charge on a bike.

To be clear, I'm not certain I'm going to go ahead. I suppose I'm at the 'seriously thinking about it' stage and want to have a sense of how much the swap might cost me and thus how practical it would be.

I mentioned the idea of this on a recent ride, and one of the guys with me said he'd be very interested in first refusal if I did go ahead. To clarify - and if it makes any difference - the chap interested is a mate of my main riding buddy. I've ridden with him 3-4 times in the last year, and while we're on perfectly friendly terms, I wouldn't say he's a friend. I've got no interest at all in gouging someone, but equally, I wouldn't want to let it go at less than realistic market value, perhaps minus a small discount for lack of hassle etc.

The groupset is AXS disc; Rival shifters, callipers and RD, and Force FD, chainset and cassette. The whole groupset is about 7 months old and has the odd mark here and there (including a minor scrape on 1 shifter) but is generally VGC.

What would the collective thoughts on a fair price be? I have seen wildly varying prices on eBay and FB marketplace, and the first law of economics notwithstanding, a bit of market research actually hasn't helped much, not least because there is so little out there at the moment.

Again, if inappropriate, please delete.

Somewhere between £1100-£1400 seems to be the going rate second hand for a complete AXS group with a mix of Rival and Force.

Thanks, that was in line with my instincts.