I asked someone very familiar with how the lines are set what the opener would be about 3 months ago, he told me ~22.
Opening it at 13 seems insane. This dude knows his stuff. So either 13 isn't true, it was a mistake, they had about $5 limits, something.