The Separately Licensed Code doesn't appear to contain the sources for the Roku Ultra 4800X (Benjamin). The sources are available for the older Roku Ultra 4660X (Bryan), but not the newer one.
Thank you for raising this. This is now resolved.