Tree surgeon has just been to grind down a tree stump and has left us with a big pile of sawdust. Can I put it on our compost heap, or will it take ages to rot down? Would it be better to use it as a mulch in the spring?