Hi Henry,
We do have standalone models for both these devices. These can be downloaded from the respective product folders and the customer can simulate them in PSpice. We also have a TINA-TI model for TPS40305, but not one for the FET. If you want the FET model to be translated to TINA-TI, we can do that for you or your customer. Just enter the request here: http://wbmodeling.itg.ti.com/ModelRequestSurvey.aspx.
Best regards,