i want to plant grass around my pond. do i need to put any lime down on the muck. my goal is to try and spread it out to be around 2,3" thick.