Unless you're running a hotel, then 20mm MDPE is usually ample, if you're going to connect to 15mm anyway there is no benefit going to 25mm IMO.
Once under the house depth is not quite so critical, the 750mm rule is for frost protection externally.
Once under the house depth is not quite so critical, the 750mm rule is for frost protection externally.