I just bought a 25 year old Befco 4' rotary mower. The owner said the blades are original. They are very rounded at the tip/end.

I'll only be using the mower once a year to knock down about 1 acre of annual (winter) rye. The field is rock and obstruction free. I had been keeping it mowed with my riding mower in the past, but that's been too much of a pain. I'm in CA, so the grass grows in the winter. It always has a very high moisture content, so the grass clogs up the mower deck. I've decided for now on I'll mow just once a year in late April or early May as the grass starts to die back for the summer. Since my riding mower won't handle 2-3' grass, I grabbed this used rotary mower.
I see 3 choices:
1. File down the rounded tip so it is sharp.
2. Cut off maybe 1/2" of the tip so it is square.
3. buy new blades ($70 plus tax and shipping).
Obviously I'd rather not shell out money if not needed, especially given the low amount of planned use. This is my first rotary mower, so I'm not sure what performance to expect with the blades I have vs. new ones.
Thanks!

I'll only be using the mower once a year to knock down about 1 acre of annual (winter) rye. The field is rock and obstruction free. I had been keeping it mowed with my riding mower in the past, but that's been too much of a pain. I'm in CA, so the grass grows in the winter. It always has a very high moisture content, so the grass clogs up the mower deck. I've decided for now on I'll mow just once a year in late April or early May as the grass starts to die back for the summer. Since my riding mower won't handle 2-3' grass, I grabbed this used rotary mower.
I see 3 choices:
1. File down the rounded tip so it is sharp.
2. Cut off maybe 1/2" of the tip so it is square.
3. buy new blades ($70 plus tax and shipping).
Obviously I'd rather not shell out money if not needed, especially given the low amount of planned use. This is my first rotary mower, so I'm not sure what performance to expect with the blades I have vs. new ones.
Thanks!