A good question, I wonder if the battery was disconnected for a few minutes then reconnect and give it a try before it goes back, because once the dash freezes up then most likely its not going to try and start until the ecu is reset. They may be just seeing it dead assuming it's faulty again , remove , replace and off it starts again. Whereas maybe a disconnect will reset the car and what may be more of an ign problem. Even unbolt the starter and crank the engine will show if it will turn under no load. I suppose too a mechanic with a spanner will be able to decide if the engine is very hard to turn over. Anyway reset is easy and only a few mins to do