Me thinks Johnny has scoped out the resale on Onan RV generators and has rightly decided it's a better idea to sell than have the overkill option. Trust me, when my 4k onan went out, I looked for a used replacement......they are not cheap.
That absolutely was my thinking. This thing was nearly 10k new in 2006!!!