Does anyone know the cost of a replacement airbox for a TR? or even just the bottom bit that mounts to the car, cuz i might be making a big hole in it :). I could always tape up the hole anyway, just wondering.