Found mine short also. Dealer must have seen it in dealer oil changes, but they did not add or note on repair ticket.
I found it, went to buy fluid, but parts department said, let me get some from service, I assume because of cost vs amount needed. Service actually had none available (!?)...
Just pulled a door ding to same panel. Have a glue type dent puller kit. That panel pulls easy. You need the light bending panel to see your progress.
Likely won't be your only dent, so save money, learn to DYI.
Better Mollie panel styles for roof. No place for mounting of ham or gmrs radios on the dash, so overhead is the only option. Amazon Chinese ones are good, but flex too much off road if you have heavy equipment.