As an owner at the Royal Palm, I am wondering if all the workers were sent home over this coronavirus, or are they still working there diligently in order that get the RP opened in the late summer or fall of 2020. Anyone go by there this past week?