SANDF military bases: R8 billion repair cost