I got my second Dixie kinda the same way. There was a friend of a friend that was plying around with becoming a LCO. He bought a XT2800 with 28 EFI Kohler, upgraded seat 60" cut. All of the bells and whistles. He ran it up to 29 hours and got bored with the whole concept of cutting grass. $4500 cash and it was mine. I sold my old Dixie for $3800 so I picked up a virtually brand new Dixie for a net $700.
Oh yeah. Go and check the mower out. I wouldn't give $9500 for a brand new IS2000 with only a 52" cut but the mower is still worth what he's asking.