FYI, yes, the Texas wagon sold.