Just do it. Won’t be an issue.
Cut off the bottom 1/2” off the leg (the flat bit at the bottom) then cut out the height of your mantle out of the leg. Weld the bottom back on. Done.
Pinball Life legs are way cheaper. Buy them there. Just buy a set of 4 WPC legs for $40.
rd