$4K is certainly a pricey repair, take it to a certified Onan repair facility for an estimate as it may turn out to be significantly less. Not sure why Onan generators are so expensive, they are industry proven and have company repair centers in most major cities adding to their overhead. Contractor grade generators are rarely able to be installed onboard, maybe a large portable inverter generator can do the trick. Good luck, hopefully you can resolve what ills your Onan for much less than you assume.