If you're willing to drop 4k, I'd almost recommend going custom or semi-custom (like Rodriguez) to get her an excellently fitting bike for going fast in amateur triathlons but also for enjoying on regular rides. TT bikes seem so specific and impractical for anything but hard, miserable racing. Maybe also a few personal trainer sessions to use her training and equipment more effectively?