I'm in the market for a used mini. My price range is around $15,000 so its fairly slim pickings in my area. I did find a pc40-7 with 5700 hrs. Can someone give me some info on this machine and things to look out for? It's 4 hrs from me so I want to know as much as I can before I make such a long trip. Thanks