What coils come with it?
I'd say it's a good deal. The controller alone costs 800 dollars new. If he's used it for 3 years, that means it has 2 years left on the warranty. Just make sure he gives you a copy of the original receipt from when he purchased it. Because without it, I don't think they'll honor the warranty.
But yeah, that sounds like a deal I'd take.