GPG error: http://developer.download.nvidia.com Release: The following signatures were invalid: BADSIG F60F4B3D7FA2AF80 cudatools <cudatools@nvidia.com>

I’m trying to get DIGITS 5 into an Amazon image. I started with the CUDA 7.5 / DIGITS 4 AMI.
I started a GPU instance of that image, and added the “new” 7fa2af80.pub key.
I did apt-get clean.
Now, when I do apt-get update, I get the following error:

Reading package lists... Done
W: GPG error: http://developer.download.nvidia.com  Release: The following signatures were invalid: BADSIG F60F4B3D7FA2AF80 cudatools <cudatools@nvidia.com>

It seems either that package has been corrupted, or is signed with a key I don’t have.

What should I do to actually get this update to work?

Btw: The default AMI contains 93 GB of empty space, that I have to pay monthly for in EBS storage. I think it’d be better if you made, say, an 8 GB image with LVM support, and someone who needs more space can mount another volume for data storage, or expand the image using LVM.
Keeping lots of empty space in the root partition is generaly an anti-pattern for healthy UNIX system administration.