Wrong ISO settings

Yesterday I was for the second time playing around with my new (used) manual camera an as always happens when I switch from the automatic to the manual I forgot the settinhgs. I shot 2 rolls and then realized I had not set the ISO properly. It was set to 1000 and I used a TMAX 100 folowed by HP5 400. I know that the HP5 can be pushed to 1600, so how should I proceed to get the proper development at 1000? The TMAX roll will probably be lost since kodak says it can be pushed only to 800. Any suggestions?

[ Previous | Next ]