Ask HN: Do you play in an office lottery pool?