I checked the price recently on a Kioti DK45S with loader. I was quoted just under $25k. Does anyone know if this is in the ballpark?