Thoughts on how to fix a depression in the roof

FWIW, I have a dent in my roof as well and I took it to a paintless dent repair shop. He uses the rods and levers to push out dents. He said he only works on cars 10 years old or less as the metal is too thick to do his work. He said a big hammer and dolly "may" help, but I needed and old fashioned body shop to do the job. I don't have a headliner in right now. Not trying to hijack thread but wanted to clarify that our cars may have metal that it too thick for paintless dent repair.
IMG-2326.jpg