Yes that is correct.
But the true story is that every user will use one set of TS files per tuner. But when a user switches from one tuner to another the ts files for the previous tuner will be deleted. However they are not deleted immediately because of locking issues and also because tuning using the new tuner might fail. So for a brief period a single user may use more than 1 set of TS files.
I see, so whilst I shouldn't have to allow for 2 full sets of TS files, I need to allow for at least 1 full set+1 extra TS file.
Regarding switching from one tuner to the other, does MP randomly decide which tuner to use when changing channel, or should it continue to use the same tuner (as it would if there were only one tuner)?