as an expert, dig the stump out. If you have it ground out, all you get is a pile of soil and woodchip that you cant get rid of, and it doesnt remove all the roots. When you go to dog a hole for a fence, you will find them, and be annoyed!!
My mini digger goes through a 750mm gap, and with a 6"...