Another thing, if the heads he took off were the original ones for your car, be sure to keep them. Otherwise you may just be kicking yourself years down the road. Or maybe not, if you don't care about originality, or if they were very common and easy to find heads.