Since I now have some raw footage, I went through 18+ options for pulldown removal in Cinema Tools, and found that this --
http://www.holyzoo.com/content/hvx200/video/HVX200_Remove_Pulldown.jpg
-- appears to remove the pulldown on the 1080i clip, yielding a 24fps .mov file.
I tested the file in a Final Cut Pro sequence with these settings:
http://www.holyzoo.com/content/hvx200/video/FCP_Settings_1080p_24fps.jpg
And it's working.
Here's the end result, encoded to H.264 (scaled down for manageable file size for web):
http://www.holyzoo.com/content/hvx200/video/1080_60iP2_Source_to_24fps.mov

http://www.holyzoo.com/content/hvx200/video/HVX200_Remove_Pulldown.jpg
-- appears to remove the pulldown on the 1080i clip, yielding a 24fps .mov file.
I tested the file in a Final Cut Pro sequence with these settings:
http://www.holyzoo.com/content/hvx200/video/FCP_Settings_1080p_24fps.jpg
And it's working.
Here's the end result, encoded to H.264 (scaled down for manageable file size for web):
http://www.holyzoo.com/content/hvx200/video/1080_60iP2_Source_to_24fps.mov