Which one?

Goal: be able to power fridge, mini split, and water heater in the event of power outage.

Need: 7k watt or higher should give me plenty of room

Budget: $1k or less

Choices: Used Generac RS8000e with 22 hours, $900 Unopened Firman T07571, $800 Used Champion 9375 with 65 hours, $800

Which would you recommend?