If they open in FCPX just right click and Optimize them to ProRes. If not, convert them to ProRes via MPEG Streamclip or Compressor. Either way they should become ProRes QuickTime MOVs. That said, anyone who has a Mac could do the same with most AVIs so I’m not sure a conversion service is particularly necessary.