anyone know how to change it out? looking at new pushbutton it looks like it just pulls out......hate to start prying on it unless i know for sure.