I'm going to stop by shop 2 again. Is it acceptable to ask what brand of seal they'd use and what is a reasonable length of warranty on the job? Only going by online reviews and feel from a very short visit I have no reason to pay $150 more to shop 1 and yes he had all the same info as the other 2. The RMS leak seems to be mentioned enough on Xterra forums that it's a known issue. Looking at the $750 another way it's 3 smallish monthly car payments. Other than tires and an AC hose & recharge it hasn't cost me anything else since I got it in late 2014.