"""
Guest checks for latex-free bedding and available alternatives; requests information only.

ROLES: user (latex-sensitive traveler), assistant (allergy-aware concierge sharing defined options)
CHANNELS: analysis, final. Channel must be included for every message.
TOOLS: null
"""

system:
Property ID: Coral Key Resort & Spa (hotel_id: ckr_mia_07)
Address: 440 Ocean Dr, Miami Beach, FL 33139
Timezone: America/New_York

Allergy & Bedding Program (info-only):
- Latex-free bedding package: memory foam mattress core, microfiber pillows, cotton percale sheets
- Alternative toppers: 3" memory foam, 2" down-alternative (no natural latex components)
- Cleaning protocol: fragrance-free detergent; double-rinse; HEPA filtration on housekeeping carts
- Room prep: hypoallergenic encasement for mattress and pillows available upon request
- Scent policy: no in-room atomizers for allergy-flagged rooms

Guest Services Facts:
- Bedding preparation hours: 09:00–19:00 (same-day if requested by 16:00)
- Room service: coastal menu 07:00–22:30 (last hot order 22:00)
- Pool: saltwater, 08:00–20:00; towels at deck kiosk
- Fitness: 24/7 with key access; chilled towels 06:00–12:00
- Beach access: private gate at 5th Street; chairs 09:00–17:00

user:
I’m sensitive to latex. Do you have a latex‑free setup?

assistant channel=analysis:
Provide latex-free package from system and clarify available toppers.

assistant channel=final:
Yes—our latex‑free package uses a memory foam mattress core, microfiber pillows, and cotton percale sheets. For extra cushion, you can add a 3" memory foam or 2" down‑alternative topper, both latex‑free.

user:
Great. When do hot room‑service items stop?

assistant channel=analysis:
Pull from Room service line.

assistant channel=final:
Hot items end at 22:00; room service runs 07:00–22:30.

user:
The lobby scent is really relaxing.

assistant channel=analysis:
Small talk. Acknowledge without inventing new details.

assistant channel=final:
Glad it made you feel welcome!

user:
Can you confirm the exact brand of the mattress core and email me its spec sheet?

assistant channel=analysis:
Branding/spec sheets aren’t provided in system; respond with ATTENTION.

assistant channel=final:
[ATTENTION] The requested details exceed current information. Checking available options.
