Welcome to AF.
The only way these should get striped out is if someone over tightend them when doing engine work like replacing the LIM gaskets.
But these heads are aluminum so they do strip out easy.
And btw-$1800 for rocker arm repair, you got screwd!
You can buy remanufactured heads for around $300 w/trade in on your old ones