10 and a half foot gator