Since they clearly state to check reservations and reservations are required, no I don't think they will refund the ticket purchased months ago. If unused that ticket will retain value as a credit towards a future ticket.
I suggest she keep watching the availability because it does change with people canceling and changing plans. Since she has a ticket, she can quickly snag one that pops up. Even that day keep trying, some have gotten lucky with reservations opening day-of. Otherwise, she can ask for a refund but I wouldn't expect it.