So you heated the dent from the outside, then pushed an appropriate sized rod through to push out the dent?
I am just putting the Betor forks I sourced for the old Aermacchi back together. The Marzocchi ones just have too much pitting. These have a bit, but not very much and I put on my lathe and lightly cleaned up with some Scotchpads. They came with either Betor or Marzocchi.
I’ve only had one bike with a mageneto. The 62 Matchless 650 I bought in a basket (with no basket). I did get the bike running, but would not run long. Possibly the mag had some issues? Before I got to solving it I sold the whole bike to someone really mostly looking for a title. (I was 18, but I sure learned a lot about buying and fixing bikes in pieces)