Hotel front desk workers: how often are duplicate key cards issued for different rooms?