I'm not convinced that Elvis's bike is too small; rather, I think that the stem is too long and that due to a few factors (lack of experience, flexibility, or fitness? and maybe a bit of extra material around his belly? unless that's just an open or baggy jersey...; and the long stem) he's too far forward on the bike... but based on being too far forward in the saddle (Carlton, you point out a big KOPS problem) not due to being too big for the frame.
I think the challenge of this situation isn't the size of Elvis's bike, I think it's some inherent challenges in TT fits for short people (Fitting small people is weird, especially for pursuit/tt positions!) combined with the difficulty of diagnosing problems over the internet