Bush hog stump jumper

[Ditch digger 103057]

Bought an older sq720 bush hog mower I need to replace the stump jumper. The jumper is oblong not round they want more than $400 for it wondering if I could go to a round one? The issue I have if I go with a 6’ stump jumper I have to go with a lot longer blades if I go with a 7’ jumper I have to go with shorter blades and not sure which would be better. Thanks for any advice