I did! I originally bought a new 4540 from Knoxland Equipment in Warner, used it for two years, then traded it back to them towards a new 5155. I drove down periodically to buy filters from them as well. I originally gave them my business because they were the closest dealer to me (still 3 hrs. away) who stocked tractors larger than the 3600 series. Then they offered me the best trade deal towards a 5155. But, I have mixed feelings about them to be honest. I ordered a 3rd function kit for my 4540 through them because they marketed it as a "Mahindra" kit, but it was actually just a W.R. Long kit marked up $100. I wasn't particularly impressed by that.
Then we agreed to purchase the 5155, only to find out they still have to "prep. it" which is literally just loading the tires. Took them two weeks to do that. After one week of waiting I decided that I wanted a second remote kit installed. That added another two weeks. Then when it was finally ready we made plans to drive down and make the trade the next Saturday, since my wife and I both work full time Mon-Fri.
Well, Knoxland told us we couldn't pick it up on Saturday because they were having an Open House, then they're closed on Sunday... I'd pretty much lost my patience at this point, so I stated that I was coming with a trailer Saturday morning regardless, at which point they agreed that we could in fact pick the tractor up on Saturday, but only if we arrived promptly when they opened at 7:00 AM. So, 3:30 AM Saturday morning we left Maine with our 4540 in tow. You'd think a crowd of people seeing somebody load his new $40k tractor onto a trailer would be good for business.
Sorry. Rant over.
I actually need to find a printed service manual for mine as well. I ordered the 5100 PDF manual from Bill's Tractor and was sent a manual for the 4500's. Haven't gotten any response after multiple emails. I need to get around to calling them... But regardless, I want a printed one now anyways.