 Those are all gone and wearing San Diego Padres uniform. So the minor league system, not as stocked as it has been the last couple of years to have some big time trade chips at the trade deadline. I don't see them making any really major moves, but maybe a guy like Tanner Scott.