About to buy a Saeco Royal Professional... low cup count, need manual, ideas?

[SFhenry]

Hello, I am about to buy a Royal Professional. From what I gather it's about 14 years old now, from the time it was introduced. The seller says it only has 226 cups brewed on it, I guess there's a counter? He doesn't have the instruction manual... wonder if anyone has a lead on how/where I can obtain it. I'm paying $500. I have been using a Nespresso Pixie, I know right?

Thanks for any words.

Henry