All this time I've been thinking that an XL4 with a mini would still be able to record 4 shows at once, just not while you are actively using the mini. The more I read it sounds like the XL4 loses a tuner permanently as it is assigned to the mini. Do I have that right? What exactly is dynamic tuner allocation? The ability for the mini to pull a tuner from either of multiple XL4s? But if you have two XL4s (8 tuners) and a mini - you would effectively always have access to 7 tuners as one tuner is still dedicated to the mini, even if it isn't currently being used. Right?