8 yards is the right amount of mulch for the house (not 9).