Hey Liz,
We built a flow in SFDC to be triggered when a Lead with a certain value was synched over. We populate the field using Marketo and then when synched, the record type is changed. I would definitely test because I am unsure of the timing. But as far as changing a record type from Mkto, I am pretty sure that Mkto does not have that capability currently.