You can also contact Chief Manufacturing
These folks make an "industry standard" ceiling mount that is used by many installers. Currently their web-site does not show a specific bracket for either the InFocus 7200 or the Toshiba, but give them a call. I'd be very surprised if they didn't have one.
Chief's RPA mount is a "universal" style. Different projectors can be attached to the mount with a "mounting bracket" that is unique to each projector. Chief makes brackets for hundreds of different projectors.
Last week I watched my installer grab the ceiling mount, then hang and swing from it to demonstrate how strong it is.
A Chief mount may cost less than a proprietary mount from InFocus or Toshiba.