Yes, that is correct. You will use the federal tax ID in the EIN box.
An EIN (Employer Identification Number) and federal tax ID number both refer to the same nine digit code in the format: XX-XXXXXXX. An EIN is issued by the IRS and used is to identify businesses, in a similar way to how Social Security Numbers are used to identify individuals.