totally get another quote and inspection.
no way it could be anywhere near 25k for gas
I fixed mine last year. It was only a sensor that needed cleaning but I don't want to know what they would of charged or replaced if I called someone.
The internet is a great resource even if most don't use it as one