Who has a high mileage Mini? What year and how many miles?

Curious if we should repair my Mom's engine, she's still under 100k. Thanks in advance for your comments!