Were these claims also relevant, when the terminal was owned by Green Mountain Development Corp., or do both use the terminal? Banksy gave me a link on a document for the terminal, wich is named Beach Haven by Green Montain Development, but named JFK terminal by Bayport and its partners.