Unfortunately, I'm gonna have to dig back in there and replace the old microswitch soon, it's continuing to have resistance issues resulting in the solenoid only working intermittently. This will be a good opportunity for me to better document the process of removing the solenoid and microswitch, which is actually surprisingly simple, though a little bit annoying.
Thanks to those who offered parts, it's much appreciated. At the moment I won't need anything but I'll let you all know if I need help sourcing anything. An OEM replacement microswitch (112307) is now over 90 dollars(!!!), a price I will never pay for a microswitch. The solenoid and switch assembly (9466049) retails for an eyewatering 318 dollars as well.
Thankfully the microswitch is a standard Cherry (now ZF Electronics) DB series switch. The specific switch I have ordered is PN DB1C-A1LB from DigiKey. It's the highest DC amperage version of the switch that I've found. It's also currently $2.36 instead of $90. A better deal I think
.