Top Down (fully open) - blinking indicator

[Migizi]

when I open the top, it is not being sensed that it has fully opened and the indicator lamp on the button blinks for a while.
I found the problem to be the fully Open Hall effect sensor was snapped off (broken).

Is there a part number for this Hall effect sensor assembly?
I really don't want to have to purchase the complete left hing