With shafts off that would give you opportunity to inspect springs etc. One thing tho, the factory service manual is WRONG with rocker shaft hold down bolt torque. I think FSM states 30 lb/ft, it SHOULD be 15lb/ft. Someone else please confirm this(I'm wrong lots lol)
Yeah, I think it's like 15-17. There's a range. I just forget exactly what it is. 15 would be fine. I agree with removing the rocker shafts. That way, he could 100% inspect the pushrods for contact. Sometimes you cannot see it without disassembly.