Ach, 11-Uhr-Checkout gibt es schon mal öfter (vornehmlich in eher billigen Hotels ;) ) 11 Uhr ist auch in teuren Hotels verbreitet.