Here are some pics of the pool, the dedicated pump is for diver-dan, i.e., the polaris. If you look hard, you can just make out the water feature in the center of the first picture, it is powered by the filter pump.
I have gone to the pool school, bought the TF100, last Saturday's values...