Buying a known (?) problem

Well, just for enlightenment, we drove the main drag that houses all of Grand Rapids' RV dealers. Found two used 5ers that we really like from the outside (very similar floorplans to the Gulf Stream in question) - asking prices were $13,995 and $15,995. Of course, subject to negotiation ;-)

I printed out the linked info provided by several of you - those references can help in case we do go forward with the "limper" as my husband likes to call them....LOL!