What options are there to replace the original 12HP Kohler engine in our Gravely 8123 tractor? This particular engine isn't made any more.