If the flight arrival time is 7 am, she is unlikely to get to the hotel before 9, if that. That is my experience with both Gatwick and Heathrow. I would start by booking the actual stay dates, and then she can email and ask if a 9:30 am check-in is possible.