Outside, men in plaid shirts dance to a cheerful rhythm.