Unless you have a personal computer and printer available, just go to the Concierge Desk at Hospitality House and ask them to print out your boarding passes. They wil lbe happy to assist. We always have the airline website URL, reservation number and seat requests printed to assist them.
Enjoy!