I would go with what the pool builder is most experienced at installing.