We are considering getting a Tesla, probably a Model S but who knows, and I am trying to get an idea of how owners in Texas have been getting on wiht their roadsters. If you have needed service, where did you get it done, and how difficult was it? how did you go about getting it to Texas...