4 hours sounds about right. Some faster, some slower, but that would be about the average. As for the round trip, I would peg the middle of the pack hiker taking about 14 hours (8 up, 6 down).