The store has neither of the bikes in a size 54, which is what he thinks I should be on. He had a 9 in 56, which felt alright to me.
He's trying to get a 54 of both bikes so I can try them out. My legs are probably fine on the 9, it's just that I have a little less reach than 'average' and the reach is a little bit long. Not uncomfortable, but on the far side of comfortable. Probably a 90 stem could fix that.