I mean... I'm just going off what the tech in the service department told me and I do know that when the replacement kits were in stock that they would sell for around $600-$750 or so. That $2,500 subtracted from $600-$750 would be between $1,750-$,1900 remaining, of which I just looked at...