We just found out that our builder is trying to switch our pool pump equipment during construction due to possible supply issues. I just wanted to make get an idea of what was more recommended and to make sure we weren't getting screwed. The pool isn't too large 23x13 ft ~7000gals (according to...