I'm currently using the GATOR digger, and have been using it for quite a few years. It's a great digger, but it only measures 9.5" from the top of the handle to the tip of the blade, and it's starting to dull. Many times I have wished that I had a longer and sharper digger for those deepies, and I would like to purchase one soon. Before I buy, I would appreciate any recommendations from users that are happy with the digger that they are presently using. Thanks!