Not looking for compo or anything like that. Just wondering if we should report it to them for public health reasons as likely was picked up at the hotel.