missing downloads on customer portal

Late last night in the download area I saw some ISO files available for download that no longer appear. For example:

Under RHEL Workstation, 7.4, Product Software tab:
- Red Hat Enterprise Linux 7.4 Update Binary ISO (20180108)

Under RHEL Workstation, 7.4, Source tab:
- Red Hat Enterprise Linux 7.4 Update Source DVD1 (20180108)
- Red Hat Enterprise Linux 7.4 Update Source DVD2 (20180108)

The "Update" ISOs for the product variants I downloaded last night are gone; I hadn't yet grabbed the three I listed above. Is this a bug or were they pulled?

I've attached PDFs of the above download pages I created before these files disappearded.