Das mache ich immer am Lobby-Computer, da gibt's meistens auch einen Drucker. Zur Not übernehmen das Ausdrucken aber auch mal die netten Leute an der Rezeption.
Oder ihr ladet die App der jeweiligen Fluggesellschaft herunter und checkt damit ein, dann habt ihr eure Bordkarten auf dem Smartphone.