I am not familiar with two spade solenoids. But logic suggests to me that one spade has to be a positive. Therefore either both spades are positive, or one is positive and the other is negative.
If you have a voltmeter, check to see if the two spades are electrically identical. If so, then surely they are both positive and it doesn’t matter which one you use.
If they are not connected, then one must be negative. Check to see which one has continuity to the body of the solenoid, which would be negative. Don’t use the negative one with the existing positive input wire.
I could be wrong, but it makes sense to me.