I'm seriously considering buying a Yanmar F215 from a local used tractor dealer. It looks like a great tractor -- built in 2000, 1000 hours, 30 HP, 4x4, loader and brush hog for $9500 -- but I'm very concerned about buying a gray market tractor. I've seen many discussions on this and similar...