I looked it up and the way I understand those are a Canadian model I've only ever seen one here and it was purchased in Canada and was at the exporter here heading to Egypt it was pretty nice it was a open station but very clean and a bit more modern than mine.
On the price I'm sure if you get it for $15,000 to $18,000 it should be worth that. My 825 cost me $16,000 with an allied loader on it with 750 hours but that's been 12 to 14 years ago.
The loader should be worth $6000 by it self don't you think.
I know of an 825 here no loader I can buy for $8500 low hours and well kept.