I am trying to set up a dev environment for the S32K312, on S32 Design Studio v 3.6.6 as follows:
1. Downloaded SW32K3_S32M27x_RTD_R23-11_7.0.1_D2603_DesignStudio_updatesite.zip
2. Opened 'S32Extensions and Updates' on S32 Design Studio 3.6.6 running on Windows 11 and installed S32K3 real time drivers as shown:

3. Restarted the IDE when prompted (I have tried rebooting the PC also)
With this, I cannot see support for the K3 family. The 'New Project' dialog does not show this as an option:

If I try to install the 'S32K3XX' drivers, as shown below:

I get an error as shown below:

Now repeating this whole process on S32DS v 3.6.2 is slightly better: now I have an option for the K312 listed in the 'New Project' dialog, but there are no SDK for it listed:

What am I doing wrong?