Polaris owners - how big is your pump?

[aquarium]

We bought a house with the pool already there, so I can't vouch for the design. It's a 15K rectangle with a 3/4 HP booster pump for the Polaris 180. The pipes are 1 1/2" with about a 40' run to the pool. Judging from the equipment, I'd think the pool is about 15 years old. It works.