Just turned 9hours on my 825i. When I went to change the oil and filter I found the filter on the gator was a different size as the new filter as in I needed a different filter wrench. Anybody else...