Those are very expensive toilets and worth fixing. But the fix could be relatively simple if you find someone who knows the "intracacies" of them.

: I have two of these. They were here when I bought the house.: One of them does not empty all the way and so does not always flush contents of the toilet completely. Worth trying to fix or just get new toilets?