Yup, prolly best just to go with option #3 and get on with life :( I think like you say battle_on, clean out all the junk, waterproof with Bond/Pondcrete or Ardex WPM-001 etc, pour in cement / concrete and see how we go.
I wonder about damages for lost rent as I can't rent the place out in...