^I'd say total work time is less than 40 hours. That doesn't include time spent looking for stuff to buy, just the actual digging, moving earth, pouring concrete, fitting the liner and adding the edging. There's still landscaping and plumbing to do as well as building a few low brick walls here and there.
Today we're off to buy lotus mud and turf. More later.