Some people will buy anything on ebay - I have a friend who has sold many second hand things at more than they cost new in the high street.
Based on absolutely no facts other than 7 years of owning R230s, that will cost a fortune to repair. Obvious starters - all front panels, lights, bumper, grill - that's the easy stuff - then all radiators & coolers, fans, SBC pump (that's where the hardest impact occurred), possible inner wing, suspension, labour, paint - at a guess way over £10k to repair.
But you are right, they will fight over it from a position of blissful ignorance!