The Pro version of the Google Page Speed Optimizer extension, indeed, includes the AMP module. However, it's essential to understand that the AMP module is configured as an optional component. Hence, it is not part of the main package and won't be automatically downloaded via composer. Instead, it is introduced separately in the 'suggest' section, allowing users to choose whether they want to include it in their setup or not:

Should you experience any difficulties while installing the module, feel free to contact us, and our Support Team will be glad to assist you.