当然、コーヒーカップにもホテルの名前が。