If the battery is that dead, they may have some driveablity issues with it until everything is re-learned (driving habits, radio stations, tranny shift points etc) might take up to 50 miles of driving before it gets back to their version of "Normal"
__________________
Rotaries are 20% motor, and 80% tuning