Wow. Machado to the Padres. I honestly thought that rumor was just a ploy for bargaining reasons.