removing the hose from the garage faucet

[http://dummy.us.eu.org/robert (Robert)]

https://www.bogleheads.org/forum/viewtopic.php?t=249021
https://www.youtube.com/watch?v=BibpHxS4ako

This suggests cutting off the end using a hack saw, a little at a time
until it finally budges.

I think we should only worry about this if the hose ruptures or starts
leaking.  Otherwise, we should just continue to use the current set-up.