Dpends on your budget, but personally, I would go the more expensive route. You have put so much work and money into it, why cheap out now. I often smell gas in mine, but I fortuntatley throw no lights other than 0440. If mine dies, I am really going to look at putting a diesel in it. But I have 3 vehicles so time is not a huge deal. I hope to never have to make that decision at 140K miles and meticulously performed maintenance. How many miles do you have?