"Official" name of plastic covering for fuel tank on 2004 Hyundai Tiburon?

I had a moment of idiocy and punctured a pretty nasty hole in the plastic covering that houses the fuel tank... I would like to buy one aftermarket/OEM, but I can't find them anywhere! I think the problem is that I don't know the "official" or "accepted" name for the part, as "fuel tank protector" isn't sufficing. Can anyone tell me what it's really called (and a link to one, if you have it offhand)? Thanks in advance!