Checking in to see if you had any luck?
Option 1 is what you would need to do to get the desired operation with the Stenner pump only being able to run with the pump.
Pretty straight forward. I do not claim to be an electrician so there is that.
Jandy Relay wiring
0 -negitive of Aux
1...