I looked at her prs and I was surprised her 800 pr is only 2:12, from 2022 in a race she lost. I would have thought she was faster than that. She did run 9:54 in the same meet (1 hour after the 800 if I read the schedule right) so maybe that was a less than all out effort?