[horacekenneth]

A push development doesn't increase detail - it just increases contrast for the detail that made its way on to the film.

So the push may help it look a bit nicer, but it won't solve your problem with very low light levels leading to reciprocity failure.

That makes sense, thanks. Does a one-stop push sound about right for recovering what I can?