Reviving this thread. I think this might be the only option now for head studs (Randy's are all sold). Price is now unfortunately back up to $1000/set without nuts/washers, due to exchange rate and steel prices.
I'd like to make a run of 5 sets to keep the price down.
PM or email me.
Todd
pepmeierengines@yahoo.com