eddy heads or prt a set of J heads

Hello guys
what are eddys heads, I did a google search, and only came up with Eddie machine shop. Is that the same person?
thanks
George