Smokey,

I never thought about reporting it to the NTSB. I'm going to check and see if they have a website. I never did ask the service mgr. how much the total bill was (just out of curiosity). I'm sure it was WAY expensive.