I think they did, which is why the option of bringing them home on dissimilar hardware exists. If they come back on Dragon, the Crew 9 launch in a few weeks will include the appropriate Dragon IVA suits.