Found a TB025 local to me (4207 hours $9300 asking price, is this to many hours, fair asking price?) planning to look at it tomorrow. I am familiar with the Yanmar diesels and what to look and listen for with them. What specific things on the TB025? I plan to check pin and bushing slop, check functionality of all items let it run for about half an hour to see if hydraulics slow or fail when the fluid is warm. Check tracking. Anything else? My usage and my son’s usage likely will not exceed 100 hours per year combined. I typically don’t put a 100 hours a year on my JD 1070 and it will be used more than the mini so the hours don’t scare me in the Yanmar just don’t know about final drives, slew motor turntable bearings etc.