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.
View attachment 1715854046
If you scroll up a bit, you'll see that I was able to pull the dent out with a strong magnet.