Walk from PPH to DLH pool?

Pixar Place pool will be closed for awhile this Spring. Can anyone estimate how long it takes to walk to the DLH pool from PPH? A friend is going to DL for the first time at that time, staying at PPH, and I'm trying to convince him it's a short walk.