I'm trying to plan the lean to for the shop I'm building and I forgot to measure my planter. If someone knows how wide a hole I'll need for a JD 494 planter, it will save me a drive. :-)