RHEL 8.0 was recently released. However, Player does not recognize the operating system associated with the RHEL 8.0 dvd.iso file and there is no RHEL 8 in the dropdown menu of available operating systems. Any solution to this problem? Any coming update to Workstation Player to include/accomodate RHEL 8.0?