We're about to install micro switches for the door-latched indicator. This is the receiver tube / pocket for the bottom pin of the door latch.
3/9/2020 Picture 509