No. We printed the boarding passes on the hotel desk printer and they where fine. Yes Carol, it definitely would take longer if we had to go to the counter, but that particular Saturday the line was not bad there either. I would guess maybe another 20 mins. or so. It must have been good timing because the lower departure area was standing room only, with some scattered seating in the upper area.