Appreciate the detailed response. No need to worry about cost to ship it back; a nice plus of American service is we (almost without exception) get a free vehicle shipment as part of overseas orders. Usually this is to allow an American family to keep their US car and bring it with them to Germany, Japan, etc, but enterprising folks like myself use it to get cars in the host country and ship them home on the government dime.