I cut the profile with an angle grinder with a cut-off disk on it, cleaned up the shape a bit with a bench grinder, then to the belt/disk sander to square up the edges. I started the bevel with that small file at the end of the video, but that was taking forever so I carefully used the belt sander to get it close, then back to the file to finish it up. I was nervous about messing the bevel up on the belt sander, but it turned out ok.