Port 587 should be set automatically. This is the outgoing server, so it doesn't affect incoming mail anyway. YOu can check it in the screen shown on picture 5 by clicking on 'Outgoing Mail Server (SMTP) and choosing 'Edit SMTP server list), selecting the iCloud server in the list and then 'Advanced':
In the link you posted, Apple say 'Mail continues to work on devices that don’t meet iCloud requirements.'.
They also say: 'If you want to check your iCloud Mail, you can do so by visiting icloud.com from a Mac or PC (as long as it meets the browser requirements for icloud.com). Alternatively, you can configure a mail application that supports IMAP via SSL for use with iCloud Mail. More information is available here.' - which links to the server settings we've been discussing.
Many people with pre-Lion systems who have migrated have found Mail continuing to work with the MobileMe settings, and the one day stopping suddenly (of course it could hardly stop gradually), so you can expect your daughter's email to follow suit.