Inside the S32K-DS.pdf is attached an excel files with the Orderable Part Numbers for S32K microcontrollers, and as of Rev. 10, this file does NOT include any part number starting with FX32K. This led to confusion and time consuming activities in my team. This information now seems stable enough to be added to the list and avoid further confusion.