patch it. its so easy and simple to do. saves you like 10 bucks (depending on the quality of the tube) and the patch, if done correctly (not too hard to fail) should last ages.
i still have my stock tubes, soo many patches on that beast and still going strong.
