We pulled it today, it's serviceable, so we opened it up, cleaned and filed the contacts down, reassembled and it works great.
One thing we are not sure about is, should it have oil inside? There was some in there, but we didn't replace it, wasn't sure if it was from the oil from the engine...