What’s an Auto Repair Shop Worth?