A couple of threads on the Telsa motors forum indicate that warranty is almost certainly void, there may be an exception if the repair work was down by a Tesla certified shop though. Also of interest there was some discussion around getting it inspected by a Tesla certified body shop to make it possible to buy an Extended Service Agreement.
Other topics, supercharging has been functional for other people. Phone app still working for other people. These things make sense as it is hard to know what decision an insurance company may make and then turn then in to a car configuration. In theory they could track that all down, but it could be legal hot water. It sounds like early one this was happening but now it isn't, take it and super charge it before you buy it sounds like good advice.
Ebay auction for surprisingly similar car was in the 30's also last year. https://teslamotorsclub.com/tmc/threads/2014-tesla-model-s85-w-o-autopilot-for-sale-update-price-reduced.68525/
Interestingly this guy has a rebuilt title and got warranty work done, maybe "what they don't know won't hurt them" type of deal???
Obviously I am still thinking about this, if not for this one but for the next one that comes along. I wonder which drive unit is in this car?? If I can determine that in the dealer lot and it is one of the known good revisions, this becomes more interesting.