I paid $35 for a similar (worse actually) dent in my edge. They cut out some of the base next to the impacted edge, straighened the edge, hammered down the raised area, then sealed the "incision" with ptex. I would not pay $130 for your damage, which is much less severe than my $35 fix.
The difference is that what you got was
a $35 fix. Except I used my own hammer at home to do the same shitty repair for free.
For $130 you will get the kind of fix that I linked.
This is apples vs oranges so what you would or would not pay isn't really relevant. Sounds rude? Sorry the internet is mean not my fault.
Support Local Business
"Shop Smart. Shop S-Mart!" - Ash