Can anyone identify which valve for this KOHLER toilet

[jameslpool]

Hi, I am not sure if anyone can help with the below pictures?
We need the toilet valve replacing for this concealed KOHLER toilet. The top can't be taken off unfortunately, well not easy anyway, sink would have to be removed etc..

It has been a challenge trying to locate the valve for it.

The only one thing I know, which could help. One plumber did fix one of these toilets in our home in the past, and he mentioned the part was made by MIRA.
Unfortunately, I have not been able to contact that same plummer again to do a repair on one of our other toilets (they are all the same toilet).

It is possible from the pics below to identify the model, manual and if anyone knows which valve would be right?

 

[dilalio]

It can all be done via the Pushplate.

 

[jameslpool]

Dilalio, yeh i know it gets done via the plates

 

[dilalio]

Dilalio, yeh i know it gets done via the plates, thats how the original guy done it, who fixed it first time around, but i can't get hold of him.

Another plumber has had a look, but couldn't work out what valve was needed. he phoned the place he usually gets them and they said no we don't have any, but he then couldn't find what valve was needed. i do remember the old plumber saying he got a Mira one though. but i dunno if they are one set valve or if you can buy many models?
I just know he said it all looked a lot different from the ones he has done before and he wasnt 100% on it and needed to work out which valve to get.

Needs to speak to Mira Kohler or Rada.
The ones usually seen are Geberit, Grohe or Tecce.

https://www.kohler.com/en/support/find-a-service-part