For those who might be still struggling to find out the exact model of the top row push encoder's model, i found this:
But as fabrizio_aromolo pointed out, it is quite difficult to find those without the push (button) option. I'm still in search of those because it is a must to change the other 24 encoders as well in my case.