Yes indeed. Included everything, including a great big mess of a yard for 6 months until the grass grew back, and broken pavers/ driveway . .
From memory the pool itself (dug/installed and fully plumbed with chlorine filter, salt $1500 extra) was around $22k all up. We got a small discount...