Its probably a one off design i have never seen one like it before, with the orifice to take a push button of some kind.
It could well be modding time and create the closest replacement from another tactile switch. Not much help i know but manufacturers often make up one offs for a product line.