I just got off the phone with a local AGCO tractor dealer. They sell 30hp compacts for under $10,000. He said that their compact line is made by ISEKI of Japan. Does anyone out their have experience with AGCO (formerly AGCO/ALLIS) or ISEKI? Thanks in advance.