Tesla’s supercharger map shows a Supercharger for Arlington, VA, Clarendon, in 2018. Arlington County permits site shows an approval for Tesla Chargers on July 27, 2018 to be located in the market common garage. It’s listed under application number ZADM180559 (Administrative Change Requests - Quarterly). Any thoughts on whether these are the superchargers or just Tesla wall chargers?