It would have cost about a tenner to replace, but that would also have meant sending a two day old football to landfill. There's not much on the net about repairing them, but I figured in principle it's like a bike tyre Repairing a puncture in a football https://www.bentasker.co.uk/posts/blog/house-stuff/repairing-a-punctured-football.html