Hey M and Welcome !!!
Are you going to DIY ? Circupool is hard to beat. They claim the most production for the longest time, both likely inflated but at worst they are as good as anyone else, and usually cheaper.
There's a forever sale where you buy the lower model and 'upgrade it' for $10 to the one you wanted. We aim for 2X here so you only need to run it about 12 hours a day in the peak season. Less runtime means longer life and less pump electricity. They have 55k and 60k models that are close enough for you. (I like the RJ60+) The daily UV demand is much friendlier in PA than it is in TX, so you have that going for you when you don't quite hit the 2X.