Is it charging now?, If it was done by a dealer they might have a record of the repair. If not, everything will look the same unless you see signs of blue silicone gasket goop sticking out of the case.
How old are your timing belts, They are critical. If they fail, your engine will denigrate.
Welcome to our gret Forum from the north Country. If you can ask your Dad or Mom where he got his service done. Then follow up to that place of Business to find out what work he had done there and make notes or get copies if yu can of what he had done . This will give ya good idea of what and how long and old the job is. Let us know. :waving: