Does Holzher still provide support, and do they have parts?
Will the current owner teach you how to operate it?
The biggest issue with 10+ year old machines is parts availability. Sometimes parts are nearly impossible to find, or incredibly expensive.
I'm not familiar with that machine, but that sounds like a good price, if it's in good condition.