We arrived at JFK relatively early for our Asiana Airlines A380 business class 1pm flight. Asiana operates out of terminal 4 at JFK airport. Once we walked in