Another poll that doesn't have the correct answers. Perhaps if you hadn't added "this tube is done" to the "No" selection I might have taken that answer. However the tube is by no means done. As some have said they would patch and have done similar holes.
I just don't patch tubes. I don't flat often enough to stay in good practice patching a tube. Up until last week I had gone 3 years without a flat while on a ride. I just put in a new 4 - $5 tube and call it done. Used tubes have plenty of uses for me around the shop and house. They don't get thrown away.