Yes, those part numbers are correct, according to this...
http://www.grouplotus.com/staticfile..._ebrochure.pdf
But I am wondering if the TRD airbox parts are true "off-the-shelf" Toyota parts, and if so, what's the equivalent part numbers (Toyota part numbers)