I've used both and while I definitely prefer Mason, Magic Vacation Title is fine as well. As you've discovered they are the title company of choice for
DVC Resale Market which is one of the largest in the business. They handle a lot of DVC contracts. Mason is widely considered the best title company on these boards for a reason, though. They are fast and accurate. I've had to send things back to other title companies (including Magic Vacation Title) because I found errors in the paperwork, but never with Mason.
I'll also point out that Magic Vacation Title is very backed up right now. The rapid pace of ROFR decisions has apparently caught them off guard. Our contract passed on 2/24 and we are still waiting on closing documents. I'm not too concerned as we aren't in a hurry for the points and because ROFR happened so quickly this time we really are no further behind schedule than we've been for any other contract we bought. Still, if you're in a hurry I'd go with Mason.