That is a pretty rare model. I am certain "Parts" are available...... but what parts? Air, oil, fuel filters, starter, alternator, etc are probably easy. Not sure what engine is in it so parts MAY be available, that is something that could be investigated if you can determine the engine model. Hard parts for trans and drive system are probably next to impossible ( may be available from Japan suppliers but if they are, prepare to pay dearly!!) I think the price is fair especially since it is probably somewhat negotiable. I like that since it looks like a Vietnam refurbished tractor, they are listing 700+ hrs on it instead of portraying it as a "newer" low hr machine.
The TC33 he has listed is priced right ( REALLY fair price, at least if hrs are reasonable). A much safer bet as far as serviceability but if you need something bigger it may not be a consideration for you.