Yes, I used #3 and I just placed online yesterday.
I'm quite happy with it

I got the 5000 version.
It's actually quieter than the one I was using before, which was some unknown brand

Eco something...
The pump starts very slow and speeds up to whatever speed you chose within 30 seconds. So, you don't get that initial rush of water you get from other pumps.
I initially used the controller that came with the unit and I wasn't able to go past the 2nd speed level. It has 6.
The 3rd speed level would pump more water than my drain was designed and I was getting water being raised to the air intake and causing it to go into full siphon, which caused inrush of water until air was allowed again and gurgle.
So, I left in the second speed level while I was reworking my code.
I disconnected their controller and let RA control it after I changed my code.
I found out that at 50% is when the pump breaks even with the amount of head I have. It's about 5 feet.
I played around for a bit with the % and settled for 60%, which seemed to be the same speed as the 2nd speed level of their controller.
Going back to your question, by just looking at the photos, I can only tell that #3 works, because that's the one I'm using. #4 has the same connectors, so it seems it will work too. #1 doesn't seem to have any controllability with 3rd party controllers, since it has a dial method. #2 may or may not. The only way to tell is by looking at the end of the cable that is not shown in the photo

Roberto.