Ended up going to the Hyundai dealer this morning.
The only had two plugs in stock. $30 each...
Parts guy said only the dealerships can get them so far, from what he knows. He says it's hit or miss with them having them in stock also. The ones for the non turbo motor are a dime a dozen .
.