Did the shop that removed and replaced the damaged battery wash down the underhood and battery area with a basic neutralizing agent so you don't get rust holes, paint problems, or surprises for your skin/eyes next time you are working under the hood?

------------------
JCE
87 300E, 65k miles
Smoke Silver