Update - just completed a 1,000km road trip. Had one instance of the 5th gear jerk (about 30km into the trip) and after that, it shifted and worked fine (meaning no worse than usual!). Got 7.0l/100km (33.6 US mpg) and car ran great - if you don't count losing yet another LF DHC!
