I was driving in Newport Beach, CA this weekend and I noticed a Tesla Service Center (Costa Mesa) near the highway. In front of the service center there is an area with some parking spots and I noticed they had about 4 charging stations set up there (like a supercharger station) My question is can you use these chargers during service center business hours or is it exclusively for cars that are being serviced at that center? I have read posts that when you drop of your S for service they usually charge up your battery before you get it back, so I wasn't sure if these chargers out front are for employees to use only on serviced cars or not. Also, would these chargers be the same as the supercharging stations or 80A? Thanks!