After quite a bit of further research, I've found at least a somewhat satisfactory solution, with further exploration available. I used yuvfps, which is part of mjpegtools
http://mjpeg.sourceforge.net/Using FFmbc, I piped out to mjpegtools and used yuvfps to change frame rate. The FFmbc line I used is:
ffmbc -i MVI_3766.MOV -f yuv4mpegpipe -pix_fmt yuv420p -| yuvfps -w -s 25000:1000 -r 30000:1001 | ffmbc -f yuv4mpegpipe -i - -vcodec dnxhd -acodec copy -b 220M -flags +ildct -mbd rd -tff -vf crop=1920:1088-2*4 MVI_3766_30fps_yuvfps.mov
The output is reasonable, without being fantastic, but it is clearly motion interpolated and not simply adding/dropping frames. Compared to the job done in Episode Engine, the quality is not as good.
Further things to research:
yuvifps -
http://silicontrip.net/~mark/lavtools/#yuvafpsyuvmotionfps -
http://jcornet.free.fr/linux/yuvmotionfps.html