I am sure they were both under 3k new each, most likely even 2.5 k..so you could get a brand new one if you shop around and it will have warrenty..Rover riders are not much good for catching..but fine if you want side chute or mulch..and the cheapest ones are not for every day comercial use (iam guessing you knew that any how)
Not a bad price but I would say also not a bargin..
I`ve had two in the past for occational use bought both second hand they were about 10 yrs old for around $800 each and after 2yrs use on both I got around $500 back before they fell apart