"With his ATP he's exempt all EASA theory training"
According to art 3(c) in Commission Delegated Regulation (EU) 2020/723 that credit is conditional on the third country licence including a valid type rating for the aircraft to be used in the ATPL skill test.