I'm taking recommendations for an outside repair shop. The dealer's work is warrantied. I could have a used, decent engine put in for 18,000 QR. The question, I suppose, is whether it is worth 10,000 QR for the comfort of a warranty. I'm basically a tourist and will be gone in three years.