Enter:
defaults write com.roxio.Toast "tivo export mode" -integer 1
in Terminal. After that, higher export resolutions and extra formats became available in Toast 8. But in Toast 9, entering that line in Terminal does not seem to enable extra resolutions or file formats for TiVo files. There seems to be a rule imposed by the TiVo people themselves that Roxio TiVoToGo exports must be resolution-limited. The above was a workaround in Toast 8. It looks as if Roxio plugged that hole in Toast 9.
Does anyone know how to get Toast 9 TiVo exports (now called "conversions") to give better than 480-pixel resolution?
Does anyone have any nice words for Roxio over having successfully plugged the hole?