I had some GT40P heads done up by a guy named Thumper. I was going to use them for a project that went away and still have the heads.

But generally, with GT40 heads once you have them machined, ported, new springs and guide plates are not worth the investment compared to a decent aluminum head.

Best thing is to find some dummy that already did all the work to them and buy them cheap.