Seems that the lightning repairs have cured the downstream ~20% speed droop anyway, as this morning the downstream speed is back up to ~2.8 Mbps where it should be. In fact - Live sync rates:
#1: down 2990 kbps, up 560 kbps
#2: down 2880 kbps, up 547 kbps
#3: down 2998 kbps, up 512 kbps
#4: down 2799 kbps, up 502 kbps
And line 3 upstream is cured.