Oups ! Sorry, my bad not reading you correctly
Those presets are included in the course resources download with the project.
Obviously if you're using Ableton Live, you should be able to load the entire Project File and find the DX7 presets used in the course, then save them onto your own Arturia's DX7 preset library. You'll only find the presets used for this track of course ( 3 if I recall well ), not the full pack.
For the all pack itself, I think it's a personal one made by @vincewatson himself among time, don't think that it's a 3thrd party Presets Pack that you can purchase, that's what I recall after watching some parts of the tutorial.
Maybe Vince could confirm this. Thanks.