I used the smaller one, the 9410. all I need was a $0.25 pvc piece adapter. I thinks its a 1" to 3/4" adapter. the pump output fit into the adapter, and the adapter slipped right into the stock hole where the sedra was.
I actually had to dial the air intake down a bit, as the Tunze sucks a lot of air