Indeed this sucks.  Alas if the tunnel started leaking water in May and a gallon was leaking in every minute in June, it might be time to fix it in July...
Alas this is just commentary and as this is a short term closure, we don't mark it as closed as people forget to reopen it and people who download it for long term usage will get a bad route for a long time, so no action will be taken here.
