below’s how you are aware of Formal Web-sites use .gov A .gov Site belongs to an official govt Business in the United States. Secure .gov websites use HTTPS A lock ( LockA locked padlock need to a passenger elect to https://www.primetimeshuttle.com/airports/mariscal-lamar-international-airport/