Question about OKdo Raspberry Pi 4 Power-HAT Case

Do the two heatsinks for the Pi 4 (4G) come with this case, if not, can you tell us what item number to order please?