I would put that 7k in the bank and use it if you need it.
I am on my 3rd used unit in 8 years, and these were 10 year old units when purchased and I have not spent anywhere near 7k on all 3 in REPAIRS. I clarify "repairs" because I have spent lots of cash on tires, some maintenance and upgrades.
Just my opinion....
Michael
2000 Holiday Rambler Endeavor Gasser
2013 Honda CR-V Toad