Oh, it's very likely that the car hasn't been serviced. A lessor has no reason to bring the car in and pay for service that's not mandatory under the lease terms. However, I would disagree that not bringing in a car for inspection after 40k miles causes "serious damage" or means the car is "trashed". This is not an ICE car where you need to change the oil every 5k miles or risk throwing a rod. My point was that you have a warranty for 50k miles if anything breaks, bring it in and it will be fixed for free. No need to stress over it.
Point is as a buyer I feel rather comfortable buying a car that has followed the Tesla maintenance schedule than someone who just ignored maintenance for 4 years. not having maintenance records puts vehicle history into question which may lead to future problems. recommended maintenance is there for a reason.