Does anyone know how to contact the Hotel Real San Miguel. We have visited there several times but I have lost the contact information that I had. Any help would be greatly appreciated.