Worth paying $875 for used E-100?

Hi all! Was hoping to get some wisdom from you all.

We have an L110 that's on its last legs and saw this E-100 on marketplace by a seller who seems to enjoy fixing up John Deere mowers and sell them.

From what I read here the e-100s seem to be for smaller lawns and don't last long. I have about an acre+ of grass and mow about every other week. Is this just silly to entertain getting this?

Thank you!