i 've the same toilet, pristine condition but the handle broke, same place; plumber quoted £150 + vat for part plus fitting then said go buy a new toilet :-0
Eco warrior in me did some intense research found fab guy
[email protected] who sold me an original part for £24.95 + £3.95 postage...