A friend is needing to pull his diesel head. What are the star wrenches called and is there a convenient source? Please email direct, Thanks, Wilson