Hi Roger,
Yes this seems to be the stuff.

I think you are right that it is more to maintain the machine working
properly than to
help the user, but as the toilets are expensive it seems best to use the
correct products.
I have ordered it.
Many thanks.
Mick.