In message , aris
writes
Anyone know the best way to fix this?

It would seem that I could cut the hole out and re-attach the two
pieces of hose together - but if there is a more high-tech way to fix
a small hole, i'd like to hear about it.

Hose pipe joint ?

Nah - far too obvious

--
geoff