I can dive that deep usually on a single 80 and barely escape going into deco. thats also before violating thirds. If its a current dive or bad viz or in a strange place maybe my gas consumption would require additional tanks but doubtful. I would just dive the 72's, of course if you only have 1 set of 72's than I would dive the 80 dry like everyone said just watch the buoyancy.
I don't think bouyancy will be an issue when he still has a set of full still doubles on his back at the end of the dive